diff options
Diffstat (limited to 'doc/documentation/run-gendocs.sh')
| -rwxr-xr-x | doc/documentation/run-gendocs.sh | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/doc/documentation/run-gendocs.sh b/doc/documentation/run-gendocs.sh new file mode 100755 index 0000000000..d025701772 --- /dev/null +++ b/doc/documentation/run-gendocs.sh @@ -0,0 +1,18 @@ +#!/bin/sh + +make version.texi +make version2.texi +./gendocs.sh --email gnunet-developers@gnu.org gnunet-c-tutorial "GNUnet C Tutorial" -o "manual/gnunet-c-tutorial" +#cd manual +#mkdir gnunet-c-tutorial +#mv * gnunet-c-tutorial/ +#cd .. +./gendocs.sh --email gnunet-developers@gnu.org gnunet "GNUnet Reference Manual" -o "manual/gnunet" +#cd manual +#mkdir handbook +#mkdir ../tmp-gnunet +#mv gnunet ../tmp-gnunet +#mv * handbook/ +#mv ../tmp-gnunet gnunet +cp "index.html" manual/ +printf "Success" |