Index: gap-tomlib-1r2p5/doc/Makefile
===================================================================
--- gap-tomlib-1r2p5.orig/doc/Makefile	2016-04-16 21:54:20.362536970 +0200
+++ gap-tomlib-1r2p5/doc/Makefile	2016-04-16 21:54:59.623379852 +0200
@@ -1,7 +1,7 @@
 GAP=gap -r
 
 gapdoc: tomdiff.pdf ../htm/tomdiff.htm
-	@echo 'RequirePackage("gapdoc");; MakeGAPDocDoc( "./", "tomlib", ["../gap/tmadmin.tmd", "../gap/stdgen.gd"], "tomlib" );;' | $(GAP) -q -T
+	@echo 'RequirePackage("gapdoc");; MakeGAPDocDoc( "./", "tomlib", ["../gap/tmadmin.tmd", "../gap/stdgen.gd"], "tomlib", "../../.." );;' | $(GAP) -q -T
 
 clean:
 	@rm -f tomlib.aux tomlib.bbl tomlib.blg tomlib.idx tomlib.ilg tomlib.ind tomlib.log tomlib.pnr tomlib.tex tomlib.toc tomlib.br
