diff options
| author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2013-07-15 23:13:12 -0400 |
|---|---|---|
| committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2013-07-15 23:20:56 -0400 |
| commit | b31c6d8d4f33502d6060e708f5252ee2ea8648ad (patch) | |
| tree | efc604076dd3324b1a31565557550519c9a27258 | |
| parent | 7801356442578ff6e1c65844eb9e65c819af4660 (diff) | |
build-sys: make generated man pages part of the distribution tarball
They were removed by mistake, and since we ship .html files,
we certainly should ship man pages.
https://bugs.freedesktop.org/show_bug.cgi?id=61753
| -rw-r--r-- | Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.am b/Makefile.am index 44cfd3ea1c..0be3e79f1c 100644 --- a/Makefile.am +++ b/Makefile.am @@ -607,7 +607,7 @@ EXTRA_DIST += \ $(XML_FILES) \ $(HTML_FILES) \ $(HTML_ALIAS) \ - $(dist_MANS) \ + $(man_MANS) \ make-man-index.py \ make-directive-index.py \ xml_helper.py |