Add_test, Genlog: New File ID
[gpstools.git] / doc / Makefile
blob0f541d859e52131bbbf749114ab5585d4822adbd
1 #!/usr/bin/make
3 #=======================================================================
4 # doc/Makefile
5 # File ID: e1f98eac-fafa-11dd-97ce-000475e441b9
6 #=======================================================================
8 xsldir=/usr/share/xml/docbook/stylesheet/docbook-xsl
9 dbfile=gpst.xml
10 htmlfile=gpst.html
11 manpage=gpst.1
13 all:
14 $(MAKE) $(manpage)
15 $(MAKE) $(htmlfile)
17 $(manpage): $(dbfile)
18 xsltproc --output $(manpage) custom.xsl $(dbfile)
20 $(htmlfile): $(dbfile)
21 xsltproc --output $(htmlfile) $(xsldir)/xhtml/docbook.xsl $(dbfile)
23 valid:
24 xmllint --valid --noout $(dbfile)