summaryrefslogtreecommitdiff
path: root/doc/modules/.gitignore
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 /doc/modules/.gitignore
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".
Diffstat (limited to 'doc/modules/.gitignore')
-rw-r--r--doc/modules/.gitignore1
1 files changed, 1 insertions, 0 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