diff options
Diffstat (limited to 'doc/documentation/run-gendocs.sh')
-rwxr-xr-x | doc/documentation/run-gendocs.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/documentation/run-gendocs.sh b/doc/documentation/run-gendocs.sh index d02570177..5e60a2d0f 100755 --- a/doc/documentation/run-gendocs.sh +++ b/doc/documentation/run-gendocs.sh | |||
@@ -1,7 +1,7 @@ | |||
1 | #!/bin/sh | 1 | #!/bin/sh |
2 | 2 | ||
3 | make version.texi | 3 | make version.texi/replacement |
4 | make version2.texi | 4 | |
5 | ./gendocs.sh --email gnunet-developers@gnu.org gnunet-c-tutorial "GNUnet C Tutorial" -o "manual/gnunet-c-tutorial" | 5 | ./gendocs.sh --email gnunet-developers@gnu.org gnunet-c-tutorial "GNUnet C Tutorial" -o "manual/gnunet-c-tutorial" |
6 | #cd manual | 6 | #cd manual |
7 | #mkdir gnunet-c-tutorial | 7 | #mkdir gnunet-c-tutorial |