diff options
| -rw-r--r-- | doc/modules/.gitignore | 1 | ||||
| -rw-r--r-- | doc/modules/Makefile.am | 5 | ||||
| -rw-r--r-- | guile-lint.am | 8 |
3 files changed, 11 insertions, 3 deletions
diff --git a/doc/modules/.gitignore b/doc/modules/.gitignore new file mode 100644 index 0000000..9b141a6 --- /dev/null +++ b/doc/modules/.gitignore @@ -0,0 +1 @@ +stamp-lint diff --git a/doc/modules/Makefile.am b/doc/modules/Makefile.am index bb28818..16ce897 100644 --- a/doc/modules/Makefile.am +++ b/doc/modules/Makefile.am @@ -3,3 +3,8 @@ EXTRA_DIST = \ skribilo/documentation/env.scm \ skribilo/documentation/extension.scm \ skribilo/documentation/manual.scm + +CLEANFILES = + +lintable = $(EXTRA_DIST) +include $(top_srcdir)/guile-lint.am 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 |