Index: gap-ctbllib-1r2p2.dfsg.0/doc/Makefile
===================================================================
--- /dev/null	1970-01-01 00:00:00.000000000 +0000
+++ gap-ctbllib-1r2p2.dfsg.0/doc/Makefile	2014-08-06 23:46:53.927130708 +0200
@@ -0,0 +1,37 @@
+SHELL=/bin/bash
+pkgdocdir=/usr/share/gap/pkg/ctbllib/doc
+DOCDIR=$(DESTDIR)$(pkgdocdir)
+DIRS=.
+
+gapdoc:
+	cp -a /usr/share/gap/doc/manualbib.xml gapdir
+	gap -q -l /usr/share/gap < makedocrel.g
+clean:
+	rm -f $(DIRS)/*.{html,txt,css,js}
+	rm -f $(DIRS)/make_manuals.out
+	rm -f $(DIRS)/main.{aux,bbl,blg,brf,idx,ilg,ind,log,out,pnr,tex,toc,toc.gz}
+	rm -f $(DIRS)/manual.{lab,six,six.gz,pdf}
+	rm -f manualbib.xml.bib gapdir/manualbib.xml gapdir/*.bib
+	rm -f ../tst/docxpl.tst
+install-pdf:
+	install -d $(DOCDIR)/$(DIRS)
+	set -e; for man in $(DIRS); do \
+	  install -o root -g root -m 0644 $$man/manual.pdf $(DOCDIR)/$$man;\
+	done
+install-help:
+	install -d $(DOCDIR)/$(DIRS)
+	set -e; for man in $(DIRS); do \
+	  gzip --best $$man/manual.six; \
+	  gzip --best $$man/main.toc; \
+	  install -o root -g root -m 0644 $$man/manualbib.xml $(DOCDIR)/$$man;\
+	  install -o root -g root -m 0644 $$man/manualbib.xml.bib $(DOCDIR)/$$man;\
+	  install -o root -g root -m 0644 $$man/manual.six.gz $(DOCDIR)/$$man;\
+	  install -o root -g root -m 0644 $$man/main.toc.gz $(DOCDIR)/$$man;\
+	  install -o root -g root -m 0644 $$man/*.txt $(DOCDIR)/$$man;\
+	done
+install-html:
+	install -d $(DOCDIR)/$(DIRS)
+	set -e; for man in $(DIRS); do \
+	  install -o root -g root -m 0644 $$man/*.{html,css,js} $(DOCDIR)/$$man;\
+	done
+install: install-pdf install-help install-html
