Creating top-level Makefile.
[gpstools.git] / doc / Makefile
blobc171733b42d79214c4046d7e932278a95e2b9515
1 #!/usr/bin/make
3 #=======================================================================
4 # $Id$
5 # File ID: e1f98eac-fafa-11dd-97ce-000475e441b9
6 #=======================================================================
8 dbfile=gpst.xml
9 htmlfile=gpst.html
10 manpage=gpst.1
12 all:
13 $(MAKE) $(manpage)
14 $(MAKE) $(htmlfile)
16 $(manpage): $(dbfile)
17 xsltproc --output $(manpage) ~/xsl/manpages/docbook.xsl $(dbfile)
19 $(htmlfile): $(dbfile)
20 xsltproc --output $(htmlfile) ~/xsl/xhtml/docbook.xsl $(dbfile)
22 valid:
23 xmllint --valid --noout $(dbfile)