aboutsummaryrefslogtreecommitdiff
path: root/doc/documentation/run-gendocs.sh
diff options
context:
space:
mode:
authorng0 <ng0@infotropique.org>2017-10-27 16:30:07 +0000
committerng0 <ng0@infotropique.org>2017-10-27 16:30:07 +0000
commitd7de9564fdc1db1e572d9f1c9d611d77ab57446e (patch)
tree0acd26e04e49ef1b01f39e8f4502f53b20e09f24 /doc/documentation/run-gendocs.sh
parent15314f41abc02547eaf2dd51f7c041a10bc62138 (diff)
downloadgnunet-d7de9564fdc1db1e572d9f1c9d611d77ab57446e.tar.gz
gnunet-d7de9564fdc1db1e572d9f1c9d611d77ab57446e.zip
gendoc fixes
Diffstat (limited to 'doc/documentation/run-gendocs.sh')
-rwxr-xr-xdoc/documentation/run-gendocs.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/documentation/run-gendocs.sh b/doc/documentation/run-gendocs.sh
index 6e9d43b48..d02570177 100755
--- a/doc/documentation/run-gendocs.sh
+++ b/doc/documentation/run-gendocs.sh
@@ -7,7 +7,7 @@ make version2.texi
7#mkdir gnunet-c-tutorial 7#mkdir gnunet-c-tutorial
8#mv * gnunet-c-tutorial/ 8#mv * gnunet-c-tutorial/
9#cd .. 9#cd ..
10./gendocs.sh --email gnunet-developers@gnu.org gnunet "GNUnet reference handbook" -o "manual/gnunet" 10./gendocs.sh --email gnunet-developers@gnu.org gnunet "GNUnet Reference Manual" -o "manual/gnunet"
11#cd manual 11#cd manual
12#mkdir handbook 12#mkdir handbook
13#mkdir ../tmp-gnunet 13#mkdir ../tmp-gnunet