diff options
| author | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2014-02-01T15·30+0100 |
|---|---|---|
| committer | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2014-02-01T15·30+0100 |
| commit | 6dca72006aa9b1cf2f226bb5b538e744fcab976f (patch) | |
| tree | d3cf77c9c02e868f2780678659afc5563d825c21 /doc/manual | |
| parent | 2a97f7b039be4cd290076707e1b02d04d3b257b6 (diff) | |
Only run "git ls-files" when doing "make check"
Diffstat (limited to 'doc/manual')
| -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. |