From: Loup Vaillant <loup@loup-vaillant.fr>
Date: Tue, 3 Oct 2017 22:05:18 +0000 (+0200)
Subject: Generating an html version of the manual
X-Git-Url: https://git.codecow.com/?a=commitdiff_plain;h=7ae54185800e4b3728ab791ba6608d5f83172b9b;p=Monocypher.git

Generating an html version of the manual

Now the users will be able to enjoy a readable manual even without the
man pages.

One hassle though: I expected links between the pages, and I se none.
Limitation of the converter, or bug in my script?
---

diff --git a/.gitignore b/.gitignore
index e694a00..4f20c93 100644
--- a/.gitignore
+++ b/.gitignore
@@ -10,5 +10,5 @@
 *.profraw
 *.profdata
 tests/formal-analysis/*
-man/3monocypher/*.html
+doc/html/*.html
 tests/vectors.h
diff --git a/doc/man/man3/style.css b/doc/html/style.css
similarity index 100%
rename from doc/man/man3/style.css
rename to doc/html/style.css
diff --git a/doc/man2html.sh b/doc/man2html.sh
new file mode 100755
index 0000000..bc18dcd
--- /dev/null
+++ b/doc/man2html.sh
@@ -0,0 +1,12 @@
+#! /bin/sh
+
+mkdir -p html
+
+for name in $(ls -1 "man/man3/" | sed 's/.3monocypher//' | grep -v "style.css")
+do
+    mandoc                         \
+        -Oman=%N.%S.html           \
+        -Ostyle=style.css \
+        -Thtml man/man3/$name.3monocypher > html/$name.html
+done
+