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 09195e6948ef93480987c81f317144e1be6a8206..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="""
 ----