--- build.orig	2015-05-25 15:47:08 UTC
+++ build
@@ -40,7 +40,10 @@ void main(int argc, list argv)
         manpage();
 
     if (option == "manual")
+    {
+        manhtmlpage();
         manual();
+    }
 
     if (option == "library")
     {