about summary refs log tree commit diff
path: root/doc/manual
diff options
context:
space:
mode:
authorEelco Dolstra <eelco.dolstra@logicblox.com>2014-02-01T15·30+0100
committerEelco Dolstra <eelco.dolstra@logicblox.com>2014-02-01T15·30+0100
commit6dca72006aa9b1cf2f226bb5b538e744fcab976f (patch)
treed3cf77c9c02e868f2780678659afc5563d825c21 /doc/manual
parent2a97f7b039be4cd290076707e1b02d04d3b257b6 (diff)
Only run "git ls-files" when doing "make check"
Diffstat (limited to 'doc/manual')
-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.