about summary refs log tree commit diff
path: root/doc/manual/local.mk
diff options
context:
space:
mode:
Diffstat (limited to 'doc/manual/local.mk')
-rw-r--r--doc/manual/local.mk2
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.