aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLudovic Courtès2008-04-21 22:48:13 +0200
committerLudovic Courtès2008-04-21 22:48:40 +0200
commitaaa3cace2f265ed1b0f417bbb12d7752f3d10a74 (patch)
treed369048775c62e51d3b7d538fe4d1476fd92c1d0
parente2a1a5ab2cc249670f4d599e0659a58c3b337c2d (diff)
downloadskribilo-aaa3cace2f265ed1b0f417bbb12d7752f3d10a74.tar.gz
skribilo-aaa3cace2f265ed1b0f417bbb12d7752f3d10a74.tar.lz
skribilo-aaa3cace2f265ed1b0f417bbb12d7752f3d10a74.zip
Run Guile-Lint on documentation modules.
* doc/modules/Makefile.am (CLEANFILES, lintable): New. Include `guile-lint.am'. * guile-lint.am: Add "-L $(top_srcdir)/doc/modules".
-rw-r--r--doc/modules/.gitignore1
-rw-r--r--doc/modules/Makefile.am5
-rw-r--r--guile-lint.am8
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