1 files changed, 18 insertions, 0 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
new file mode 100755
index 0000000..e7c8eb1
--- /dev/null
+++ b/guides/setups/operating-systems/apps-demo/napp/share/doc.sh
@@ -0,0 +1,18 @@
+#!/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