1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
SHELL=/bin/bash
pkgdocdir=/usr/share/gap/doc
DOCDIR=$(DESTDIR)$(pkgdocdir)
DIRS={ref,tut,changes}
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{,-bw}.{lab,six,six.gz,pdf}
rm -f manualbib.xml.bib wsp.g
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/manual.lab $(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 ref tut changes; do \
install -o root -g root -m 0644 $$man/*.{html,css,js} $(DOCDIR)/$$man;\
done
|
