File: Makefile

package info (click to toggle)
gap 4r4p4-1
  • links: PTS
  • area: main
  • in suites: sarge
  • size: 25,972 kB
  • ctags: 6,672
  • sloc: ansic: 95,121; sh: 3,137; makefile: 219; perl: 11; awk: 6
file content (20 lines) | stat: -rw-r--r-- 831 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
SHELL=/bin/bash
pkgdocdir=/usr/share/gap/doc
doc:
	chmod a+x make_doc allmanualsindex
	ln -s /usr/share/texmf/bibtex/bib/ams/mrabbrev.bib .
	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}
	rm -f mrabbrev.bib
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