diff options
author | ng0 <ng0@n0.is> | 2019-04-01 19:55:52 +0000 |
---|---|---|
committer | ng0 <ng0@n0.is> | 2019-04-01 19:55:52 +0000 |
commit | 14885fb5b1af5b3e4ae15b23201ac3e5b6e11667 (patch) | |
tree | 25a3c20cb64847307d46ca1edca96b743a424d67 /doc/man/texi2mdoc-generation.sh | |
parent | d9415604a052facf2be3f684de176a94dd37f660 (diff) | |
download | gnunet-14885fb5b1af5b3e4ae15b23201ac3e5b6e11667.tar.gz gnunet-14885fb5b1af5b3e4ae15b23201ac3e5b6e11667.zip |
#5616 - finish. fix texi2mdoc generation
Diffstat (limited to 'doc/man/texi2mdoc-generation.sh')
-rwxr-xr-x | doc/man/texi2mdoc-generation.sh | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/doc/man/texi2mdoc-generation.sh b/doc/man/texi2mdoc-generation.sh new file mode 100755 index 000000000..b88987cda --- /dev/null +++ b/doc/man/texi2mdoc-generation.sh | |||
@@ -0,0 +1,15 @@ | |||
1 | #!/bin/sh | ||
2 | # This script is in the public-domain. | ||
3 | # GNUnet e.V. 2019 | ||
4 | # | ||
5 | # Commentary: generate texi2mdoc output. This would be easier with | ||
6 | # bmake / BSDmake, oh well. | ||
7 | # | ||
8 | # Excercise for future readers: don't fix this. | ||
9 | |||
10 | # echo $(pwd) | ||
11 | cd ../tutorial | ||
12 | texi2mdoc -I$(pwd):$(pwd)/chapters gnunet-tutorial.texi > ../man/gnunet-c-tutorial.7 | ||
13 | # echo $(pwd) | ||
14 | cd ../handbook | ||
15 | texi2mdoc -I$(pwd):$(pwd)/chapters gnunet.texi > ../man/gnunet-documentation.7 | ||