diff options
author | Arthur de Jong <arthur@arthurdejong.org> | 2013-08-23 22:52:07 +0200 |
---|---|---|
committer | Arthur de Jong <arthur@arthurdejong.org> | 2013-08-23 23:46:16 +0200 |
commit | 27abbbb372fee84e6be4018cede1efd45355a6d1 (patch) | |
tree | b8d05683f54015630bfc8da5a556d0239cce852f /man | |
parent | 494833d674e6d3e2bf251c666a29d752515a6989 (diff) |
Add a test for the manual pages
This replaces e0491d2 to run xmlto from the man directory. This handles
the case more gracefully if xmlto is not available.
Diffstat (limited to 'man')
-rw-r--r-- | man/Makefile.am | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/man/Makefile.am b/man/Makefile.am index 8a94461..85c148d 100644 --- a/man/Makefile.am +++ b/man/Makefile.am @@ -45,8 +45,7 @@ EXTRA_DIST = $(ALL_MANS) $(ALL_MANS:=.xml) if GENMAN -MAINTAINERCLEANFILES = $(ALL_MANS) -CLEANFILES = $(ALL_MANS:=.html) +MAINTAINERCLEANFILES = $(ALL_MANS) $(ALL_MANS:=.html) SUFFIXES = .xml .xml: @@ -60,6 +59,3 @@ SUFFIXES = .xml xmlto xhtml-nochunks $< endif - -# when running the test convert all manuals to HTML for extra testing -check_DATA = $(ALL_MANS:=.html) |