diff options
Diffstat (limited to 'guile-lint.am')
| -rw-r--r-- | guile-lint.am | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/guile-lint.am b/guile-lint.am index f54dc4c..5559e82 100644 --- a/guile-lint.am +++ b/guile-lint.am @@ -16,8 +16,10 @@ BUILT_SOURCES = stamp-lint CLEANFILES += stamp-lint stamp-lint: $(lintable) - -GUILE="$(GUILE)" \ - $(GUILE_LINT) -L $(top_srcdir)/src/guile \ - -L $(top_builddir)/src/guile -k $^ + -GUILE="$(GUILE)" \ + $(GUILE_LINT) -L $(top_srcdir)/src/guile \ + -L $(top_builddir)/src/guile \ + -L $(top_srcdir)/doc/modules \ + -k $^ touch $@ endif |