aboutsummaryrefslogtreecommitdiff
path: root/doc/old/tutorial/run-gendocs.sh
diff options
context:
space:
mode:
Diffstat (limited to 'doc/old/tutorial/run-gendocs.sh')
-rwxr-xr-xdoc/old/tutorial/run-gendocs.sh18
1 files changed, 18 insertions, 0 deletions
diff --git a/doc/old/tutorial/run-gendocs.sh b/doc/old/tutorial/run-gendocs.sh
new file mode 100755
index 000000000..b4899722c
--- /dev/null
+++ b/doc/old/tutorial/run-gendocs.sh
@@ -0,0 +1,18 @@
1#!/bin/sh
2
3make version.texi/replacement
4
5./gendocs.sh --email gnunet-developers@gnu.org gnunet-c-tutorial "GNUnet C Tutorial" -o "manual/gnunet-c-tutorial"
6#cd manual
7#mkdir gnunet-c-tutorial
8#mv * gnunet-c-tutorial/
9#cd ..
10#./gendocs.sh --email gnunet-developers@gnu.org gnunet "GNUnet Reference Manual" -o "manual/gnunet"
11#cd manual
12#mkdir handbook
13#mkdir ../tmp-gnunet
14#mv gnunet ../tmp-gnunet
15#mv * handbook/
16#mv ../tmp-gnunet gnunet
17cp "index.html" manual/
18printf "Success"