diff options
| author | ng0 <ng0@n0.is> | 2019-10-27 14:27:10 +0000 |
|---|---|---|
| committer | ng0 <ng0@n0.is> | 2019-10-27 14:27:10 +0000 |
| commit | 83eb77dafd5054bee67dc9cc05dca8dc23ecd7f0 (patch) | |
| tree | d7aca6de199a2345597243525f8b9491b005416e /doc/man/texi2mdoc-generation.sh | |
| parent | 097f287acb1f2372607d1adbf475a040ca219edd (diff) | |
| download | gnunet-83eb77dafd5054bee67dc9cc05dca8dc23ecd7f0.tar.gz gnunet-83eb77dafd5054bee67dc9cc05dca8dc23ecd7f0.zip | |
doc/man: create better rules for texi2mdoc.
Diffstat (limited to 'doc/man/texi2mdoc-generation.sh')
| -rwxr-xr-x | doc/man/texi2mdoc-generation.sh | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/doc/man/texi2mdoc-generation.sh b/doc/man/texi2mdoc-generation.sh deleted file mode 100755 index b88987cda..000000000 --- a/doc/man/texi2mdoc-generation.sh +++ /dev/null | |||
| @@ -1,15 +0,0 @@ | |||
| 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 | ||