diff options
| author | Johannes Hofmann <Johannes.Hofmann@gmx.de> | 2013-03-18 20:56:52 +0100 |
|---|---|---|
| committer | Johannes Hofmann <Johannes.Hofmann@gmx.de> | 2013-03-18 20:56:52 +0100 |
| commit | 3c8ad7bf80ff8573b5def7cefadcce24970ed98d (patch) | |
| tree | 6e654432bd1712fa5d7774105afd85f4ce9cc6e2 | |
| parent | 1af28e28f600d154b2e94d101135d7df2475c485 (diff) | |
remove doc/dillo.1 from EXTRA_DIST
| -rw-r--r-- | doc/Makefile.am | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index 5f4a5244..dad95629 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -1,7 +1,6 @@ dist_doc_DATA = user_help.html man_MANS = dillo.1 EXTRA_DIST = \ - $(man_MANS) \ index.doc \ lout.doc \ dw-map.doc \ |