aboutsummaryrefslogtreecommitdiff
path: root/doc/handbook/run-gendocs.sh
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2018-10-25 15:46:45 +0200
committerChristian Grothoff <christian@grothoff.org>2018-10-25 15:46:45 +0200
commit7101471b5fc9ad10a0a0c06fb2aaeb5a568dbf56 (patch)
tree589b209e1943461eccb56e1bed4e4d4323bd8c08 /doc/handbook/run-gendocs.sh
parent8a4b969fd2e9fb399dfd1d9d1569e95a77d599bb (diff)
downloadgnunet-7101471b5fc9ad10a0a0c06fb2aaeb5a568dbf56.tar.gz
gnunet-7101471b5fc9ad10a0a0c06fb2aaeb5a568dbf56.zip
doc/documentation split into doc/tutorial and doc/handbook for clarity and to avoid automake freakout
Diffstat (limited to 'doc/handbook/run-gendocs.sh')
-rwxr-xr-xdoc/handbook/run-gendocs.sh18
1 files changed, 18 insertions, 0 deletions
diff --git a/doc/handbook/run-gendocs.sh b/doc/handbook/run-gendocs.sh
new file mode 100755
index 000000000..5e60a2d0f
--- /dev/null
+++ b/doc/handbook/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"