From 7ae54185800e4b3728ab791ba6608d5f83172b9b Mon Sep 17 00:00:00 2001
From: Loup Vaillant <loup@loup-vaillant.fr>
Date: Wed, 4 Oct 2017 00:05:18 +0200
Subject: [PATCH] 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?
---
 .gitignore                       |  2 +-
 doc/{man/man3 => html}/style.css |  0
 doc/man2html.sh                  | 12 ++++++++++++
 3 files changed, 13 insertions(+), 1 deletion(-)
 rename doc/{man/man3 => html}/style.css (100%)
 create mode 100755 doc/man2html.sh

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
+
-- 
2.47.3