Description: debianization: documentation
 Meant to address Debian specific requirements and stuff for documentation.
Origin: vendor, Debian
Forwarded: not-needed
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;