summaryrefslogtreecommitdiff
path: root/src/guile
diff options
context:
space:
mode:
authorLudovic Courtès2012-04-25 14:38:11 +0200
committerLudovic Courtès2012-04-25 14:38:11 +0200
commitd9522915175fdf3d81e8a795d3705fe7aa1fa6fc (patch)
tree60f8226658516b58fb0ffa6379f1ec638d4210dc /src/guile
parent68cc48df95f2f8e3f3fbf326aacc8426e4aac9af (diff)
downloadskribilo-d9522915175fdf3d81e8a795d3705fe7aa1fa6fc.tar.gz
skribilo-d9522915175fdf3d81e8a795d3705fe7aa1fa6fc.tar.lz
skribilo-d9522915175fdf3d81e8a795d3705fe7aa1fa6fc.zip
Remove support for `guile-lint'.
* guile-lint.am: Remove. * Makefile.am (EXTRA_DIST): Remove `guile-lint.am'. * doc/modules/Makefile.am (lintable): Remove. Remove inclusion of `guile-lint.am'. * src/guile/Makefile.am: Likewise. * configure.ac: Remove check for `guile-lint' and `HAVE_GUILE_LINT' conditional.
Diffstat (limited to 'src/guile')
-rw-r--r--src/guile/.gitignore1
-rw-r--r--src/guile/Makefile.am5
2 files changed, 0 insertions, 6 deletions
diff --git a/src/guile/.gitignore b/src/guile/.gitignore
index 9b141a6..e69de29 100644
--- a/src/guile/.gitignore
+++ b/src/guile/.gitignore
@@ -1 +0,0 @@
-stamp-lint
diff --git a/src/guile/Makefile.am b/src/guile/Makefile.am
index 9e959e0..4f18b5d 100644
--- a/src/guile/Makefile.am
+++ b/src/guile/Makefile.am
@@ -134,8 +134,3 @@ clean-local:
echo ' lexer-ungetc))' >> "$@" && \
cat "$@.tmp" >> "$@" && \
rm "$@.tmp"
-
-
-lintable = $(nobase_dist_module_DATA) $(nobase_module_DATA)
-
-include $(top_srcdir)/guile-lint.am