--- icmake/man.orig	2014-06-04 17:51:49 UTC
+++ icmake/man
@@ -9,7 +9,10 @@ void man()
 
     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");
 
@@ -36,8 +39,10 @@ void man()
     
             run("yodl2man  --no-warnings -r 3 -l 3 -o ../../tmp/man/man3/" + 
                                             base + ".3" LIBRARY " " + yodl);
+#ifdef MANHTML
             run("yodl2html --no-warnings -r 3 -l 3 -o ../../tmp/manhtml/" + 
                                             base + ".3.html " + yodl);
+#endif
         }
     }
 
@@ -45,16 +50,20 @@ void man()
     {
         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("yodl2man  --no-warnings  -r 3 -l 3 "
                     "-o ../../tmp/man/man7/sharedreadme.7" LIBRARY
                     " sharedreadme.yo");
+#ifdef MANHTML
         run("yodl2html --no-warnings  -r 3 "
                         "-o ../../tmp/manhtml/sharedreadme.7.html "
                                     "sharedreadme.yo");
+#endif
     }
 
     run("touch man-stamp");