14 lines
267 B
Plaintext
14 lines
267 B
Plaintext
--- ./build.orig 2013-11-27 18:04:34.000000000 +0100
|
|
+++ ./build 2013-11-27 18:04:34.000000000 +0100
|
|
@@ -40,7 +40,10 @@
|
|
manpage();
|
|
|
|
if (option == "manual")
|
|
+ {
|
|
+ manhtmlpage();
|
|
manual();
|
|
+ }
|
|
|
|
if (option == "library")
|
|
{
|