diff options
| author |   wukong <rebirthmonkey@gmail.com> | 2015-11-23 17:48:48 +0100 |
|---|---|---|
| committer | wukong <rebirthmonkey@gmail.com> | 2015-11-23 17:48:48 +0100 |
| commit | fca74d4bc3569506a6659880a89aa009dc11f552 (patch) | |
| tree | 4cefd06af989608ea8ebd3bc6306889e2a1ad175 /moon-abe/pbc-0.5.14/doc/Makefile | |
| parent | 840ac3ebca7af381132bf7e93c1e4c0430d6b16a (diff) | |
moon-abe cleanup
Change-Id: Ie1259856db03f0b9e80de3e967ec6bd1f03191b3
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/ |