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, 0 insertions, 49 deletions
diff --git a/moon-abe/pbc-0.5.14/doc/Makefile b/moon-abe/pbc-0.5.14/doc/Makefile deleted file mode 100644 index 0fdaa41c..00000000 --- a/moon-abe/pbc-0.5.14/doc/Makefile +++ /dev/null @@ -1,49 +0,0 @@ -.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/ |