diff options
Diffstat (limited to 'Makefile.am')
| -rw-r--r-- | Makefile.am | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.am b/Makefile.am index 56a1a01c44..4527dd1244 100644 --- a/Makefile.am +++ b/Makefile.am @@ -109,8 +109,8 @@ check-spaces: $(top_srcdir)/src/tools/*.[ch] \ $(top_srcdir)/src/tools/tor-fw-helper/*.[ch] -check-docs: - $(top_srcdir)/scripts/maint/checkOptionDocs.pl +check-docs: all + $(PERL) $(top_builddir)/scripts/maint/checkOptionDocs.pl check-logs: $(top_srcdir)/scripts/maint/checkLogs.pl \ |