From 7101471b5fc9ad10a0a0c06fb2aaeb5a568dbf56 Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Thu, 25 Oct 2018 15:46:45 +0200
Subject: doc/documentation split into doc/tutorial and doc/handbook for
 clarity and to avoid automake freakout

---
 doc/handbook/run-gendocs.sh | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100755 doc/handbook/run-gendocs.sh

(limited to 'doc/handbook/run-gendocs.sh')

diff --git a/doc/handbook/run-gendocs.sh b/doc/handbook/run-gendocs.sh
new file mode 100755
index 000000000..5e60a2d0f
--- /dev/null
+++ b/doc/handbook/run-gendocs.sh
@@ -0,0 +1,18 @@
+#!/bin/sh
+
+make version.texi/replacement
+
+./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"
-- 
cgit v1.2.3