1 files changed, 0 insertions, 18 deletions
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