mirror of
https://github.com/davatorium/rofi.git
synced 2024-11-18 13:54:36 -05:00
autotools: Dist man pages sources files too
Signed-off-by: Quentin Glidic <sardemff7+git@sardemff7.net>
This commit is contained in:
parent
fc0c2d7d87
commit
aa03eb7fc5
1 changed files with 6 additions and 0 deletions
|
@ -172,6 +172,12 @@ dist_man1_MANS=\
|
||||||
dist_man5_MANS=\
|
dist_man5_MANS=\
|
||||||
doc/rofi-theme.5
|
doc/rofi-theme.5
|
||||||
|
|
||||||
|
EXTRA_DIST += \
|
||||||
|
doc/rofi-theme.5.markdown \
|
||||||
|
doc/rofi-theme-selector.1.markdown \
|
||||||
|
doc/rofi.1.markdown
|
||||||
|
|
||||||
|
|
||||||
##
|
##
|
||||||
# Readme.md
|
# Readme.md
|
||||||
##
|
##
|
||||||
|
|
Loading…
Reference in a new issue