diff options
| author | Arthur de Jong <arthur@arthurdejong.org> | 2013-08-10 00:03:11 +0200 |
|---|---|---|
| committer | Arthur de Jong <arthur@arthurdejong.org> | 2013-08-18 15:28:41 +0200 |
| commit | e0491d2536c59dfa264542e3c621972cafb5b87a (patch) | |
| tree | 6e6c61be482a78ed2694357dac8adabf26a0ecb6 /man | |
| parent | 7108b1f41474db7c01c402be798d504c43502cfe (diff) | |
Run xmlto on manual pages as part of the tests
Diffstat (limited to 'man')
| -rw-r--r-- | man/Makefile.am | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/man/Makefile.am b/man/Makefile.am index bb186bf..8a94461 100644 --- a/man/Makefile.am +++ b/man/Makefile.am @@ -46,6 +46,7 @@ EXTRA_DIST = $(ALL_MANS) $(ALL_MANS:=.xml) if GENMAN MAINTAINERCLEANFILES = $(ALL_MANS) +CLEANFILES = $(ALL_MANS:=.html) SUFFIXES = .xml .xml: @@ -59,3 +60,6 @@ SUFFIXES = .xml xmlto xhtml-nochunks $< endif + +# when running the test convert all manuals to HTML for extra testing +check_DATA = $(ALL_MANS:=.html) |