diff options
| author | ng0 <ng0@infotropique.org> | 2017-10-25 18:01:51 +0000 |
|---|---|---|
| committer | ng0 <ng0@infotropique.org> | 2017-10-25 18:01:51 +0000 |
| commit | ee87f542aaebedc406fe3924bfa5f793e5b9d2c3 (patch) | |
| tree | 75a852bf6c74a5a88bd5285b182023e38154e5d4 /doc/documentation/run-gendocs.sh | |
| parent | acdece2b628af7c8e1f18ab9d84c2d016555c10a (diff) | |
| download | gnunet-ee87f542aaebedc406fe3924bfa5f793e5b9d2c3.tar.gz gnunet-ee87f542aaebedc406fe3924bfa5f793e5b9d2c3.zip | |
gendocs
Diffstat (limited to 'doc/documentation/run-gendocs.sh')
| -rwxr-xr-x | doc/documentation/run-gendocs.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/documentation/run-gendocs.sh b/doc/documentation/run-gendocs.sh new file mode 100755 index 000000000..96b41ea7b --- /dev/null +++ b/doc/documentation/run-gendocs.sh | |||
| @@ -0,0 +1,6 @@ | |||
| 1 | #!/bin/sh | ||
| 2 | |||
| 3 | make version.texi | ||
| 4 | make version2.texi | ||
| 5 | ./gendocs.sh --email gnunet-developers@gnu.org gnunet "GNUnet reference handbook" | ||
| 6 | ./gendocs.sh --email gnunet-developers@gnu.org gnunet-c-tutorial "GNUnet C Tutorial" | ||