Merge commit 'origin/master' into pub/master

[git.ikiwiki.info.git] / doc / plugins / polygen.mdwn

diff --git a/doc/plugins/polygen.mdwn b/doc/plugins/polygen.mdwn
index 5edbf5a30c89e6f61309be7db58985d3b7ae91dc..6045c1ec91dc23f99c737b622fb2846a672f26bf 100644 (file)
--- a/doc/plugins/polygen.mdwn
+++ b/doc/plugins/polygen.mdwn
@@ -1,13 +1,8 @@
 [[!template id=plugin name=polygen author="Enrico Zini"]]
 [[!tag type/fun]]
 
 [[!template id=plugin name=polygen author="Enrico Zini"]]
 [[!tag type/fun]]
 

-This plugin allows inserting text generated by polygen into a wiki page.
-For example:
-
-       \[[polygen grammar="genius"]]
-
-It's also possible to specify a starting nonterminal for the grammar by
-including `symbol="text"` in the directive.
+This plugin provides the [[ikiwiki/directive/polygen]] [[ikiwiki/directive]],
+which allows inserting text generated by polygen into a wiki page.

 
 [[!if test="enabled(polygen)" then="""
 ----
 
 [[!if test="enabled(polygen)" then="""
 ----