summaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
Diffstat (limited to 'docs')
-rw-r--r--docs/src/plugins.txt7
1 files changed, 7 insertions, 0 deletions
diff --git a/docs/src/plugins.txt b/docs/src/plugins.txt
index 6c37d707..5a302e9e 100644
--- a/docs/src/plugins.txt
+++ b/docs/src/plugins.txt
@@ -70,3 +70,10 @@ you need to write a plugin. Also `this blog entry`_ might be interesting.
.. _setuptools documentation: http://peak.telecommunity.com/DevCenter/setuptools
.. _this blog entry: http://lucumr.pocoo.org/entry/setuptools-plugins/
+
+
+Extending The Core
+==================
+
+If you have written a pygments plugin which is open source, please inform us
+about that. There is a high chance that we'll add it to the pygments core :-)