--- icmake/man.orig	2013-11-13 11:44:52.000000000 +0100
+++ icmake/man	2013-11-27 12:47:25.000000000 +0100
@@ -9,7 +9,10 @@
 
     special(0, 0);
 
-    md("tmp/man/man1 tmp/man/man3 tmp/man/man7 tmp/manhtml");
+    md("tmp/man/man1 tmp/man/man3 tmp/man/man7");
+#ifdef MANHTML
+    md("tmp/manhtml");
+#endif
 
     chdir("documentation/man");
 
@@ -35,8 +38,10 @@
     
             run("yodl2man  --no-warnings -r 3 -o ../../tmp/man/man3/" + 
                                             base + ".3" LIBRARY " " + yodl);
+#ifdef MANHTML
             run("yodl2html --no-warnings -r 3 -o ../../tmp/manhtml/" + 
                                             base + ".3.html " + yodl);
+#endif
         }
     }
 
@@ -44,9 +49,11 @@
     {
         run("yodl2man  --no-warnings  -r 3 -o ../../tmp/man/man7/" 
                                                 LIBRARY ".7 " LIBRARY ".yo");
+#ifdef MANHTML
         run("yodl2html --no-warnings  -r 3 "
                         "-o ../../tmp/manhtml/" LIBRARY ".7.html " 
                                                             LIBRARY ".yo");
+#endif
     }
 
     run("touch man-stamp");