aboutsummaryrefslogtreecommitdiff
path: root/doc/tutorial/run-gendocs.sh
diff options
context:
space:
mode:
authorng0 <ng0@n0.is>2019-03-04 11:39:13 +0000
committerng0 <ng0@n0.is>2019-03-04 11:39:13 +0000
commit7747d2bdd7b073f1d025d8cbe692c2bae16adaa5 (patch)
tree996097dad657f79ca3da681f3cf01bf029e3c24c /doc/tutorial/run-gendocs.sh
parent86b382be842b8b7f97a7a9f985a2116ad428d9c1 (diff)
downloadgnunet-7747d2bdd7b073f1d025d8cbe692c2bae16adaa5.tar.gz
gnunet-7747d2bdd7b073f1d025d8cbe692c2bae16adaa5.zip
run-gendocs.sh
Diffstat (limited to 'doc/tutorial/run-gendocs.sh')
-rwxr-xr-xdoc/tutorial/run-gendocs.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/tutorial/run-gendocs.sh b/doc/tutorial/run-gendocs.sh
index 5e60a2d0f..b4899722c 100755
--- a/doc/tutorial/run-gendocs.sh
+++ b/doc/tutorial/run-gendocs.sh
@@ -7,7 +7,7 @@ make version.texi/replacement
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 Manual" -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