File: doc-makefile

package info (click to toggle)
gap-transgrp 2.0.4-1
  • links: PTS
  • area: main
  • in suites: buster
  • size: 91,236 kB
  • sloc: makefile: 104
file content (37 lines) | stat: -rw-r--r-- 1,388 bytes parent folder | download
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
31
32
33
34
35
36
37
Index: gap-transgrp-2.0.4/doc/Makefile
===================================================================
--- /dev/null
+++ gap-transgrp-2.0.4/doc/Makefile
@@ -0,0 +1,32 @@
+SHELL=/bin/bash
+pkgdocdir=/usr/share/gap/pkg/AutPGrp/doc
+DOCDIR=$(DESTDIR)$(pkgdocdir)
+MANUAL=manual
+DIRS=.
+doc:
+	bash ./make_doc
+clean:
+	rm -f $(DIRS)/*.{html,txt,css,js}
+	rm -f $(DIRS)/make_manuals.out
+	rm -f $(DIRS)/$(MANUAL).{dvi,aux,bbl,blg,brf,idx,ilg,ind,log,out,pnr,toc,toc.gz}
+	rm -f $(DIRS)/manual{,-bw}.{lab,six,six.gz,pdf}
+	rm -f manualbib.xml.bib wsp.g manual.example*
+	rm -fr ../htm
+install: install-pdf install-help install-html
+install-pdf:
+	test -d $(DOCDIR)/$(DIRS) || 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:
+	test -d $(DOCDIR)/$(DIRS) || install -d $(DOCDIR)/$(DIRS)
+	set -e; for man in $(DIRS); do \
+	  gzip --no-name --best $$man/manual.six; \
+	  gzip --no-name --best $$man/$(MANUAL).toc; \
+	  install -o root -g root -m 0644 $$man/manual.six.gz $(DOCDIR)/$$man;\
+	  install -o root -g root -m 0644 $$man/$(MANUAL).toc.gz $(DOCDIR)/$$man;\
+	  install -o root -g root -m 0644 $$man/*.tex $(DOCDIR)/$$man;\
+	done
+install-html:
+	test -d $(DOCDIR)/../htm || install -d $(DOCDIR)/../htm
+	install -o root -g root -m 0644 ../htm/*.htm $(DOCDIR)/../htm/;