diff options
| author | Peter Eisentraut | 2013-10-11 01:53:34 +0000 |
|---|---|---|
| committer | Peter Eisentraut | 2013-10-11 01:53:34 +0000 |
| commit | 956f2db49006ea236994c61b0fe31759e2304a24 (patch) | |
| tree | 75d73482749882a67e6a92699fb4e4306fcefb06 /src | |
| parent | 8238d1ed8f9682e74f4bb7d0bcdef8bae57efdf1 (diff) | |
doc: Move check-tabs target into html target
The previous plan of having the check-tabs target a prerequisite of
"all" and "distprep" caused make distcheck to fail because make -q
distprep would never be satisfied. Put check-tabs into the html target
instead, so it is only called when a build actually happens.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions