diff options
| author | Peter Eisentraut | 2013-09-11 18:34:28 +0000 |
|---|---|---|
| committer | Peter Eisentraut | 2013-10-11 00:11:56 +0000 |
| commit | 5dd41f3574871757e6b8e2a16b3e736fee36c20d (patch) | |
| tree | 38a6c713a239c3818287f3eb5275c3d0b2779a55 /src/tutorial | |
| parent | 3dc543b3d84f048ca563af1bc98092f1e01e4a81 (diff) | |
Remove maintainer-check target, fold into normal build
make maintainer-check was obscure and rarely called in practice, and
many breakages were missed. Fold everything that make maintainer-check
used to do into the normal build. Specifically:
- Call duplicate_oids when genbki.pl is called.
- Check for tabs in SGML files when the documentation is built.
- Run msgfmt with the -c option during the regular build. Add an
additional configure check to see whether we are using the GNU
version. (make maintainer-check probably used to fail with non-GNU
msgfmt.)
Keep maintainer-check as around as phony target for the time being in
case anyone is calling it. But it won't do anything anymore.
Diffstat (limited to 'src/tutorial')
0 files changed, 0 insertions, 0 deletions