SHELL=/bin/bash
pkgdocdir=/usr/share/gap/pkg/AutPGrp/doc
DOCDIR=$(DESTDIR)$(pkgdocdir)
MANUAL=manual
DIRS=.
doc:
	bash ./make_doc
clean:
	rm -f $(DIRS)/*.{html,txt,css,js}
	rm -f $(DIRS)/make_manuals.out
	rm -f $(DIRS)/$(MANUAL).{dvi,aux,bbl,blg,brf,idx,ilg,ind,log,out,pnr,toc,toc.gz}
	rm -f $(DIRS)/manual{,-bw}.{lab,six,six.gz,pdf}
	rm -f manualbib.xml.bib wsp.g manual.example*
	rm -fr ../htm
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 -o root -g root -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 --no-name --best $$man/manual.six; \
	  gzip --no-name --best $$man/$(MANUAL).toc; \
	  install -o root -g root -m 0644 $$man/manual.six.gz $(DOCDIR)/$$man;\
	  install -o root -g root -m 0644 $$man/$(MANUAL).toc.gz $(DOCDIR)/$$man;\
	  install -o root -g root -m 0644 $$man/*.tex $(DOCDIR)/$$man;\
	done
install-html:
	test -d $(DOCDIR)/../htm || install -d $(DOCDIR)/../htm
	install -o root -g root -m 0644 ../htm/*.htm $(DOCDIR)/../htm/;
