diff options
| author | Wim Taymans <wtaymans@redhat.com> | 2016-12-21 17:21:25 +0100 |
|---|---|---|
| committer | Wim Taymans <wtaymans@redhat.com> | 2016-12-21 17:21:25 +0100 |
| commit | 1b66bbcffd39e63cbaeb6f3548de5b4faaf8c485 (patch) | |
| tree | 588cdc8a6d2e5b15e2c46acb6a6baf82524ad526 /man | |
| parent | ff5e260d6739e1d236802d7f2ca0fe64ef3467e1 (diff) | |
Remove old makefiles
Diffstat (limited to 'man')
| -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 - |