diff options
author | Ludovic Courtès | 2012-04-25 14:38:11 +0200 |
---|---|---|
committer | Ludovic Courtès | 2012-04-25 14:38:11 +0200 |
commit | d9522915175fdf3d81e8a795d3705fe7aa1fa6fc (patch) | |
tree | 60f8226658516b58fb0ffa6379f1ec638d4210dc /src | |
parent | 68cc48df95f2f8e3f3fbf326aacc8426e4aac9af (diff) | |
download | skribilo-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')
-rw-r--r-- | src/guile/.gitignore | 1 | ||||
-rw-r--r-- | src/guile/Makefile.am | 5 |
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 |