File: Makefile

package info (click to toggle)
gap-tomlib 1.2.11-1
  • links: PTS
  • area: main
  • in suites: forky, sid, trixie
  • size: 54,108 kB
  • sloc: xml: 5,303; javascript: 155; makefile: 60
file content (14 lines) | stat: -rw-r--r-- 418 bytes parent folder | download | duplicates (5) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
 

GAP=gap4 -r

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