summaryrefslogtreecommitdiff
path: root/doc/man/texi2mdoc-generation.sh
diff options
context:
space:
mode:
Diffstat (limited to 'doc/man/texi2mdoc-generation.sh')
-rwxr-xr-xdoc/man/texi2mdoc-generation.sh15
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 @@
-#!/bin/sh
-# This script is in the public-domain.
-# GNUnet e.V. 2019
-#
-# Commentary: generate texi2mdoc output. This would be easier with
-# bmake / BSDmake, oh well.
-#
-# Excercise for future readers: don't fix this.
-
-# echo $(pwd)
-cd ../tutorial
-texi2mdoc -I$(pwd):$(pwd)/chapters gnunet-tutorial.texi > ../man/gnunet-c-tutorial.7
-# echo $(pwd)
-cd ../handbook
-texi2mdoc -I$(pwd):$(pwd)/chapters gnunet.texi > ../man/gnunet-documentation.7