devel/bisoncpp/files/patch-build


1
2
3
4
5
6
7
8
9
10
11
12
13

--- 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")
     {