Makefile 322 B

12345678910111213
  1. all: pisg-doc.txt pisg-doc.html
  2. pisg-doc.txt: pisg-doc.xml
  3. docbook2txt pisg-doc.xml
  4. mv pisg-doc.txt pisg-tmp.txt
  5. cat pisg-tmp.txt | ./modifytxt.pl > pisg-doc.txt
  6. rm -f pisg-tmp.txt
  7. pisg-doc.html: pisg-doc.xml
  8. docbook2html pisg-doc.xml -V "%use-id-as-filename%" -V nochunks
  9. clean:
  10. rm -f pisg-doc.txt pisg-doc.html