diff options
Diffstat (limited to 'Build/source/texk/dvisvgm/dvisvgm-1.0.3/doc/Makefile.am')
| -rw-r--r-- | Build/source/texk/dvisvgm/dvisvgm-1.0.3/doc/Makefile.am | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/Build/source/texk/dvisvgm/dvisvgm-1.0.3/doc/Makefile.am b/Build/source/texk/dvisvgm/dvisvgm-1.0.3/doc/Makefile.am new file mode 100644 index 00000000000..e9c79906fde --- /dev/null +++ b/Build/source/texk/dvisvgm/dvisvgm-1.0.3/doc/Makefile.am @@ -0,0 +1,31 @@ +man_MANS = dvisvgm.1 +EXTRA_DIST = $(man_MANS) + +dvisvgm.1: dvisvgm.txt + if [ `type -p a2x` ]; then \ + a2x -dmanpage -fmanpage -L -a icons -a 'iconsdir=.' $<; \ + rm -f dvisvgm.xml; \ + fi + +dvisvgm.pdf: dvisvgm.1 + man -t ./$< | ps2pdf - $@ + +dvi-pdf: dvisvgm.dvi + dvipdfm $< + rm -f $< + +dvisvgm.dvi: dvisvgm.1 + groff -Tdvi -mandoc ./$< >$@ + +dvisvgm.html: dvisvgm.txt + asciidoc -a icons -a 'iconsdir=.' -a badges -a 'revnumber=@VERSION@' --unsafe -dmanpage $< + +html: dvisvgm.html +man: dvisvgm.1 +pdf: dvisvgm.pdf + +clean: + rm -f dvisvgm.pdf dvisvgm.html dvisvgm.xml dvisvgm.1 dvisvgm.txt + +distclean-local: + rm -f dvisvgm.1 |