diff options
Diffstat (limited to 'moon-abe/pbc-0.5.14/doc/Makefile')
| -rw-r--r-- | moon-abe/pbc-0.5.14/doc/Makefile | 49 |
1 files changed, 49 insertions, 0 deletions
diff --git a/moon-abe/pbc-0.5.14/doc/Makefile b/moon-abe/pbc-0.5.14/doc/Makefile new file mode 100644 index 00000000..0fdaa41c --- /dev/null +++ b/moon-abe/pbc-0.5.14/doc/Makefile @@ -0,0 +1,49 @@ +.PHONY: target clean sync gendoc + +target: $(TARGETS) + +TARGETS:=manual.html manual.txt manual.pdf manual/index.html chunked/index.html + +TXTFILES:=preface.txt quickstart.txt basics.txt sigex.txt \ + pairingfns.txt elementfns.txt paramfns.txt miscfns.txt \ + bundle.txt internal.txt security.txt contributors.txt + +GENFILES:=gen/*.txt + +gendoc $(GENFILES) : ../*/*.h extract + -rm $(GENFILES) + -mkdir gen + cat `grep -l '\/\*@manual' ../*/*.h` | ./extract + for a in gen/*.*.txt; do b=$${a%.*.txt}.txt; cat $$a $$b > tmp; mv tmp $$b ; rm $$a; done + +manual.xml: $(TXTFILES) $(GENFILES) + ( for FILE in $(TXTFILES) ; do cat $$FILE ; echo ; done ) | asciidoc -f macros.ad -d book -b docbook - > $@ + +chunked/index.html : manual.xml custom.xsl + xmlto -o chunked -m custom.xsl html manual.xml + +index.html : index.txt + asciidoc -s $^ + +manual/index.html: manual.xml custom-pretty.xsl pretty.css index.html + xmlto -m custom-pretty.xsl -o manual html manual.xml + sed -i 's/xmlns:fo[^ ]*//g' manual/*.html + -ls manual/*.html | xargs -n 1 tidy -utf8 -m -i -q + ./makeover + cp find_selflink.js pretty.css manual/ + +manual.html : manual.xml custom-nochunks.xsl + xmlto -m custom-nochunks.xsl html-nochunks manual.xml + -tidy -utf8 -imq $@ + +manual.txt : manual.html + html2text -nobs -style pretty manual.html > manual.txt + +manual.pdf: manual.xml + docbook2pdf manual.xml + +clean: + -rm -rf manual.xml manual.html manual chunked index.html + +sync: $(TARGETS) + rsync -r manual manual.html manual.txt chunked manual.pdf blynn@xenon.stanford.edu:pbc/ |