diff options
Diffstat (limited to 'man/Makefile.am')
| -rw-r--r-- | man/Makefile.am | 34 |
1 files changed, 0 insertions, 34 deletions
diff --git a/man/Makefile.am b/man/Makefile.am deleted file mode 100644 index b42dcc11..00000000 --- a/man/Makefile.am +++ /dev/null @@ -1,34 +0,0 @@ -DISTCLEANFILES = \ - $(noinst_DATA) - -noinst_DATA = \ - pinos.1.xml \ - pinos-monitor.1.xml - -xmllint: $(noinst_DATA) - for f in $(noinst_DATA) ; do \ - xmllint --noout --valid "$$f" || exit 1 ; \ - done - -if BUILD_MANPAGES - -dist_man_MANS = \ - pinos.1 \ - pinos-monitor.1 - -CLEANFILES = \ - $(dist_man_MANS) - -%: %.xml Makefile - $(AM_V_GEN) perl $(srcdir)/xmltoman $< > $@ || rm -f $@ - -endif - -EXTRA_DIST = \ - pinos.1.xml.in \ - pinos-monitor.1.xml.in \ - xmltoman \ - xmltoman.css \ - xmltoman.xsl \ - xmltoman.dtd - |