Re: [GUILT 2/5] doc: guilt.xml depends on cmds.txt.
From: Jeff Sipek <hidden>
Date: 2016-06-15 23:03:40
Signed-off-by: Josef 'Jeff' Sipek <redacted> On Fri, Jan 23, 2015 at 02:24:56PM +0100, Per Cederqvist wrote:
quoted hunk ↗ jump to hunk
Specify an explicit dependency, to stop make from trying to generate guilt.xml if cmds.txt could not be created. The asciidoc will fail and produce an error message that might hide the original error message. The added dependency causes make to not remove the guilt.xml file. Add *.xml to .gitignore. Signed-off-by: Per Cederqvist <redacted> --- Documentation/.gitignore | 3 +++ Documentation/Makefile | 2 ++ 2 files changed, 5 insertions(+)diff --git a/Documentation/.gitignore b/Documentation/.gitignore index c4f0588..9b8d4da 100644 --- a/Documentation/.gitignore +++ b/Documentation/.gitignore@@ -11,3 +11,6 @@ version.txt # Generated file dependency list doc.dep + +# Intermediate generated files +*.xmldiff --git a/Documentation/Makefile b/Documentation/Makefile index ec3c9e8..2574125 100644 --- a/Documentation/Makefile +++ b/Documentation/Makefile@@ -60,6 +60,8 @@ cmds.txt: cmd-list.sh $(MAN1_TXT) guilt.7 guilt.html: guilt.txt footer.txt version.txt +guilt.xml: cmds.txt + clean: rm -f *.xml *.html *.1 *.7 doc.dep rm -f cmds.txt-- 2.1.0
-- The obvious mathematical breakthrough would be development of an easy way to factor large prime numbers. - Bill Gates, The Road Ahead, pg. 265