Package: gap-float / 0.9.1+ds-6

debianization-documentation.patch Patch series | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
Description: debianization: documentation
 Meant to address Debian specific requirements and stuff for documentation.
Origin: vendor, Debian
Author: Jerome Benoit <calculus@rezozer.net>
Last-Update: 2016-10-14

--- a/makedoc.g
+++ b/makedoc.g
@@ -1,3 +1,7 @@
+SetPackagePath("float",".");
+LoadPackage("GAPDoc");
+##LoadPackage("float");
+
 #if fail = LoadPackage("AutoDoc", ">= 2016.01.21") then
 #    Error("AutoDoc 2016.01.21 or newer is required");
 #fi;