Fix mandoc invocation for recent mandoc versions

A commit in mandoc earlier this year subtly broke the -O parsing.
Multiple instances of -O do not get parsed, so all options have to be
passed into the same -O with comma separation as intended.

diff --git a/doc/man2html.sh b/doc/man2html.sh
index 67bcfe665b69491b1cbf336aa0b2b96cb290b6a6..bf6bf49aff030004e540502c67541d5fa1e0d673 100755 (executable)
--- a/doc/man2html.sh
+++ b/doc/man2html.sh
@@ -4,9 +4,8 @@ mkdir -p html
 
 for name in $(ls -1 "man/man3/" | sed 's/.3monocypher//' | grep -v "style.css")
 do
-    mandoc                         \
-        -Oman=%N.html              \
-        -Ostyle=style.css \
+    mandoc                            \
+        -Oman=%N.html,style=style.css \
         -Thtml man/man3/$name.3monocypher > html/$name.html
 done