diff options
Diffstat (limited to 'GNUmakefile.in')
| -rw-r--r-- | GNUmakefile.in | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/GNUmakefile.in b/GNUmakefile.in index b9c5f317b6..f3c5fe587e 100644 --- a/GNUmakefile.in +++ b/GNUmakefile.in @@ -65,6 +65,8 @@ $(call recurse,check-world,src/test src/pl src/interfaces/ecpg,check) $(call recurse,installcheck-world,src/test src/pl src/interfaces/ecpg contrib,installcheck) +$(call recurse,maintainer-check,doc src config contrib) + GNUmakefile: GNUmakefile.in $(top_builddir)/config.status ./config.status $@ |