diff options
author | ng0 <ng0@infotropique.org> | 2017-10-27 16:30:07 +0000 |
---|---|---|
committer | ng0 <ng0@infotropique.org> | 2017-10-27 16:30:07 +0000 |
commit | d7de9564fdc1db1e572d9f1c9d611d77ab57446e (patch) | |
tree | 0acd26e04e49ef1b01f39e8f4502f53b20e09f24 /doc/documentation/run-gendocs.sh | |
parent | 15314f41abc02547eaf2dd51f7c041a10bc62138 (diff) | |
download | gnunet-d7de9564fdc1db1e572d9f1c9d611d77ab57446e.tar.gz gnunet-d7de9564fdc1db1e572d9f1c9d611d77ab57446e.zip |
gendoc fixes
Diffstat (limited to 'doc/documentation/run-gendocs.sh')
-rwxr-xr-x | doc/documentation/run-gendocs.sh | 2 |
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 |