diff options
Diffstat (limited to 'plugins')
-rw-r--r-- | plugins/Makefile.am | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/plugins/Makefile.am b/plugins/Makefile.am index 74aa8d83..abe3213a 100644 --- a/plugins/Makefile.am +++ b/plugins/Makefile.am @@ -23,9 +23,8 @@ SUBDIRS = \ time \ trailsave -if ENABLE_PYTHON -SUBDIRS += externaltools pythonconsole snippets quickopen -endif +# python plugins are disabled for now +#SUBDIRS += externaltools pythonconsole snippets quickopen if ENABLE_ENCHANT SUBDIRS += spell |