-
Peter Eisentraut authored
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.
956f2db4