1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
SHELL=/bin/bash
pkgdocdir=/usr/share/gap/doc
doc:
chmod a+x make_doc allmanualsindex
TEXMFCNF=`pwd`: ./make_doc
rm -f {ref,tut,prg,ext,new}/manual.{aux,bbl,blg,idx,ilg,ind,log,ps}
rm -f fullindex.{toc,lab,ind,ilg,idx,log,ps}
clean:
rm -f {ref,tut,prg,ext,new}/manual.{aux,bbl,blg,idx,ilg,six,toc,lab,ind,log,dvi,ps,pdf}{,.gz}
rm -f fullindex.{toc,lab,ind,ilg,idx,log,dvi,ps,pdf}{,.gz}
install:
install -d $(DESTDIR)$(pkgdocdir)/{ref,tut,prg,ext,new}
gzip --best fullindex.dvi
install -o root -g root -m 0644 fullindex.{dvi.gz,pdf} $(DESTDIR)$(pkgdocdir);\
set -e; for man in ref tut prg ext new; do \
gzip --best $$man/manual.{dvi,toc}; \
install -o root -g root -m 0644 $$man/manual.{dvi.gz,toc.gz,pdf} $(DESTDIR)$(pkgdocdir)/$$man;\
done
|
