From 3eb4d872f7157b67691fb5a98e2cf53f716c5457 Mon Sep 17 00:00:00 2001
From: Kévin Le Gouguec <kevin.legouguec@gmail.com>
Date: Sat, 18 Jan 2025 19:00:03 +0100
Subject: Resume gratuitous shuffling

---
 .../operating-systems/apps-demo/napp/share/doc.sh      | 18 ------------------
 1 file changed, 18 deletions(-)
 delete mode 100755 guides/setups/operating-systems/apps-demo/napp/share/doc.sh

(limited to 'guides/setups/operating-systems/apps-demo/napp/share/doc.sh')

diff --git a/guides/setups/operating-systems/apps-demo/napp/share/doc.sh b/guides/setups/operating-systems/apps-demo/napp/share/doc.sh
deleted file mode 100755
index e7c8eb1..0000000
--- a/guides/setups/operating-systems/apps-demo/napp/share/doc.sh
+++ /dev/null
@@ -1,18 +0,0 @@
-#!/bin/bash
-
-set -eux
-
-mkdir -p info man/man1
-
-pandoc napp.md -s -o man/man1/napp.1
-pandoc napp.md -s -o info/napp.texi \
-       -H <(cat <<EOF
-@dircategory Software development
-@direntry
-* Napp: (napp).
-* Napp node: (napp)napp
-@end direntry
-EOF
-)
-makeinfo info/napp.texi -o info
-install-info info/napp.info info/dir
-- 
cgit v1.2.3