Commit 3201952e authored by Per Cederqvist's avatar Per Cederqvist
Browse files

Break out "dvi" and "pdf" from Xenofarm task "checkdoc".

parent cfee7747
2002-08-18 Per Cederqvist <ceder@ceder.dyndns.org>
Break out "dvi" and "pdf" from Xenofarm task "checkdoc".
* scripts/xenofarm.sh: Make check-doc, pdf and dvi separately,
instead of using the "make check" target of the doc subdirectory.
Don't attempt to "make pdf" unless we find pdftex.
2002-08-17 Per Cederqvist <ceder@ceder.dyndns.org>
Don't require "grep -f" and "tac" to check the documentation.
......@@ -9,6 +16,8 @@
accordingly: they now contains lines to ignore, not regexp
patterns to ignore. Use tac.py instead of tac; not everybody has
GNU textutils installed.
(EXTRA_DIST): Added filterlines.py and tac.py.
* scripts/xenofarm.sh (checkdocok): "grep -f" and tac are no
longer required to "make check" in the doc subdirectory.
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment