File: Makefile

package info (click to toggle)
gap-tomlib 1r2p2-1
  • links: PTS
  • area: main
  • in suites: jessie, jessie-kfreebsd
  • size: 234,040 kB
  • ctags: 34
  • sloc: xml: 5,290; makefile: 44
file content (14 lines) | stat: -rw-r--r-- 414 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
 

GAP=gap

gapdoc:
	@echo 'RequirePackage("gapdoc");; MakeGAPDocDoc( "./", "tomlib", ["../gap/tmadmin.tmd", "../gap/stdgen.gd"], "tomlib" );;' | $(GAP) -q -T

clean:
	@rm -f tomlib.aux tomlib.bbl tomlib.blg tomlib.idx tomlib.ilg tomlib.ind tomlib.log tomlib.pnr tomlib.tex tomlib.toc tomlib.br
	@rm -f *~


spotless: clean
	@rm -f manual.dvi manual.html manual.pdf manual.ps manual.six
	@rm -f chap*.html chap*.txt