--- icmake/manpage.orig	2012-02-20 17:33:31.000000000 +0100
+++ icmake/manpage	2012-12-02 13:45:58.000000000 +0100
@@ -3,7 +3,7 @@
 
 void manpage()
 {
-    md("tmp/man tmp/manhtml");
+    md("tmp/man");
 
     special();
 
@@ -11,8 +11,23 @@
 
     if ("bisonc++.yo" younger MANPAGE || "release.yo" younger MANPAGE)
     {
-        run("yodl2man  -o " MANPAGE " bisonc++");
-        run("yodl2html  -o " MANHTML " bisonc++");
+        run("yodl2man -l3 -o " MANPAGE " bisonc++");
     }
     exit(0);
 }
+
+void manhtmlpage()
+{
+    md("tmp/manhtml");
+
+    special();
+
+    chdir("documentation/man");
+
+    if ("bisonc++.yo" younger MANHTML || "release.yo" younger MANHTML)
+    {
+        run("yodl2html -l3 -o " MANHTML " bisonc++");
+    }
+
+    chdir("../..");
+}