summaryrefslogtreecommitdiff
path: root/doc/plugins/polygen.mdwn
diff options
context:
space:
mode:
Diffstat (limited to 'doc/plugins/polygen.mdwn')
-rw-r--r--doc/plugins/polygen.mdwn8
1 files changed, 3 insertions, 5 deletions
diff --git a/doc/plugins/polygen.mdwn b/doc/plugins/polygen.mdwn
index d04708e2a..b49eeda0e 100644
--- a/doc/plugins/polygen.mdwn
+++ b/doc/plugins/polygen.mdwn
@@ -1,3 +1,6 @@
+[[template id=plugin name=polygen included=1 author="""Enrico Zini"""]]
+[[tag type/fun]]
+
This plugin allows inserting text generated by polygen into a wiki page.
For example:
@@ -6,9 +9,6 @@ For example:
It's also possible to specify a starting nonterminal for the grammar by
including `symbol="text"` in the directive.
-This plugin is included in ikiwiki, but not enabled by default.
-It was contributed by Enrico Zini.
-
----
If this plugin is enabled, and polygen is installed, here are a few notes
@@ -25,5 +25,3 @@ Ikiwiki reviews:
<li>[[polygen grammar="reviews"]]</li>
<li>[[polygen grammar="reviews"]]</li>
</ul>
-
-[[tag type/fun]]