diff options
author | Lev Walkin <vlm@lionet.info> | 2010-11-08 02:07:31 -0800 |
---|---|---|
committer | Lev Walkin <vlm@lionet.info> | 2010-11-08 02:14:14 -0800 |
commit | 4c776e5921fcad8a663866cd9efcb0d6bc33aa42 (patch) | |
tree | 329e5edfbbfed464fda34e9d717b98dea72deca7 /doc/Makefile.am | |
parent | ed44bf4164ad337a6dd52c05477bcddcab1c9640 (diff) |
aclocal-1.10
Diffstat (limited to 'doc/Makefile.am')
-rw-r--r-- | doc/Makefile.am | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index 6ee920a0..781acbf8 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -7,4 +7,10 @@ docs_DATA = $(srcdir)/*.pdf \ EXTRA_DIST = $(srcdir)/*.pdf \ $(srcdir)/*.html -CLEANFILES = *.*~ +regen: + pdflatex --output-format=dvi asn1c-usage + pdflatex --output-format=dvi asn1c-usage + pdflatex --output-format=dvi asn1c-usage + dvipdf asn1c-usage + +CLEANFILES = *.*~ *.aux *.dvi *.log *.out *.toc |