summaryrefslogtreecommitdiff
path: root/doc/tutorial/run-gendocs.sh
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2019-02-13 00:42:04 +0100
committerChristian Grothoff <christian@grothoff.org>2019-02-13 00:42:04 +0100
commit31bef70568177a32929331e73a18e852bee7bd08 (patch)
treedffac5b2f3b41038b03310da3ddcfa8b51f645d7 /doc/tutorial/run-gendocs.sh
parentaa83696e631e8025a7db809c5973459e23bc80f4 (diff)
fixing EXTRA_DIST issues'
Diffstat (limited to 'doc/tutorial/run-gendocs.sh')
-rwxr-xr-xdoc/tutorial/run-gendocs.sh18
1 files changed, 18 insertions, 0 deletions
diff --git a/doc/tutorial/run-gendocs.sh b/doc/tutorial/run-gendocs.sh
new file mode 100755
index 000000000..5e60a2d0f
--- /dev/null
+++ b/doc/tutorial/run-gendocs.sh
@@ -0,0 +1,18 @@
+#!/bin/sh
+
+make version.texi/replacement
+
+./gendocs.sh --email gnunet-developers@gnu.org gnunet-c-tutorial "GNUnet C Tutorial" -o "manual/gnunet-c-tutorial"
+#cd manual
+#mkdir gnunet-c-tutorial
+#mv * gnunet-c-tutorial/
+#cd ..
+./gendocs.sh --email gnunet-developers@gnu.org gnunet "GNUnet Reference Manual" -o "manual/gnunet"
+#cd manual
+#mkdir handbook
+#mkdir ../tmp-gnunet
+#mv gnunet ../tmp-gnunet
+#mv * handbook/
+#mv ../tmp-gnunet gnunet
+cp "index.html" manual/
+printf "Success"