diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/manual/local.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/manual/local.mk b/doc/manual/local.mk index 081b9855702a..4342215b0e44 100644 --- a/doc/manual/local.mk +++ b/doc/manual/local.mk @@ -47,7 +47,7 @@ $(man-pages): $(d)/manual.xmli $(d)/manual.is-valid clean-files += $(d)/*.1 $(d)/*.5 $(d)/*.8 -dist-files += $(d)/*.1 $(d)/*.5 $(d)/*.8 +dist-files += $(man-pages) # Generate the HTML manual. |