diff options
author | Quentin Glidic <sardemff7+git@sardemff7.net> | 2018-03-29 12:47:56 +0200 |
---|---|---|
committer | Quentin Glidic <sardemff7+git@sardemff7.net> | 2018-03-29 12:47:56 +0200 |
commit | aa03eb7fc5367e2170e452fe81a6c9f0f77dbf2c (patch) | |
tree | 9ef6460b979fdf9c89f8b1f64b9576daac4a9452 /Makefile.am | |
parent | fc0c2d7d87bcf28c9fcb3ee17989c7b7ea585cb2 (diff) |
autotools: Dist man pages sources files too
Signed-off-by: Quentin Glidic <sardemff7+git@sardemff7.net>
Diffstat (limited to 'Makefile.am')
-rw-r--r-- | Makefile.am | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Makefile.am b/Makefile.am index 49883402..d2d0db4e 100644 --- a/Makefile.am +++ b/Makefile.am @@ -172,6 +172,12 @@ dist_man1_MANS=\ dist_man5_MANS=\ doc/rofi-theme.5 +EXTRA_DIST += \ + doc/rofi-theme.5.markdown \ + doc/rofi-theme-selector.1.markdown \ + doc/rofi.1.markdown + + ## # Readme.md ## |