--- /dev/null
+++ b/doc/Makefile
@@ -0,0 +1,38 @@
+SHELL=/bin/bash
+pkgdocdir=/usr/share/gap/pkg/polymaking/doc
+DOCDIR=$(DESTDIR)$(pkgdocdir)
+MANUAL=polymaking
+DIRS=.
+doc:
+	cd ..; echo 'Read("makedoc.g");' | gap -q -l 'debian/gaproot;/usr/share/gap'
+clean:
+	rm -f $(DIRS)/*.{html,txt,css,js}
+	rm -f $(DIRS)/make_manuals.out $(DIRS)/mathjax
+	rm -f $(DIRS)/$(MANUAL).{aux,bbl,blg,brf,idx,ilg,ind,log,out,pnr,tex,toc,toc.gz}
+	rm -f $(DIRS)/manual{,-bw}.{lab,six,six.gz,pdf}
+	rm -f title.xml manualbib.xml.bib _entities.xml
+install: install-pdf install-help install-html
+install-pdf:
+	test -d $(DOCDIR)/$(DIRS) || install -d $(DOCDIR)/$(DIRS)
+	set -e; for man in $(DIRS); do \
+	  install -m 0644 $$man/manual.pdf $(DOCDIR)/$$man;\
+	done
+install-help:
+	test -d $(DOCDIR)/$(DIRS) || install -d $(DOCDIR)/$(DIRS)
+	set -e; for man in $(DIRS); do \
+	  gzip --best --no-name $$man/manual.six; \
+	  gzip --best --no-name $$man/$(MANUAL).toc; \
+	  install -m 0644 $$man/$(MANUAL).bib $(DOCDIR)/$$man; \
+	  install -m 0644 $$man/$(MANUAL).toc.gz $(DOCDIR)/$$man; \
+	  install -m 0644 $$man/manual.six.gz $(DOCDIR)/$$man; \
+	  install -m 0644 $$man/manual.lab $(DOCDIR)/$$man; \
+	  install -m 0644 $$man/*.txt $(DOCDIR)/$$man; \
+	done
+install-html:
+	test -d $(DOCDIR)/$(DIRS) || install -d $(DOCDIR)/$(DIRS)
+	set -e; for man in $(DIRS); do \
+	  install -m 0644 $$man/*.{html,css,js} $(DOCDIR)/$$man;\
+	  ln -s `readlink mathjax` $(DOCDIR)/$$man/mathjax;\
+	done
+.PHONY: doc clean install install-pdf install-help install-html
+
