Install Disobedience manual and make Disobedience use it in preference

[disorder] / lib / defs.h

diff --git a/lib/defs.h b/lib/defs.h
index 41b65ea584254f7b5a3fbce6ef0b1415a25c7ea0..e13b85718e37aa1eb2305149d52bce7d8f14e4ac 100644 (file)
--- a/lib/defs.h
+++ b/lib/defs.h
@@ -25,6 +25,7 @@ extern const char pkglibdir[];
 extern const char pkgconfdir[];
 extern const char pkgstatedir[];
 extern const char pkgdatadir[];
+extern const char dochtmldir[];
 extern const char bindir[];
 extern const char sbindir[];
 extern const char finkbindir[];