diff options
| author | Schanzenbach, Martin <martin.schanzenbach@aisec.fraunhofer.de> | 2017-12-04 17:39:55 +0100 |
|---|---|---|
| committer | Schanzenbach, Martin <martin.schanzenbach@aisec.fraunhofer.de> | 2017-12-04 17:39:55 +0100 |
| commit | d4b252fd73bdda7be51a971ba06a650a1dceb45c (patch) | |
| tree | 15026001f43b756e4a86d7ec80f62fc0d9756dea /doc/documentation/run-gendocs.sh | |
| parent | 514dd6f53cb735d0e48f35ddf92eae469c0abc8a (diff) | |
| parent | 24a0b84d503375bf66b5df932cd18631cc88cf8d (diff) | |
Merge branch 'identity_abe' into identity_oidc
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" |