diff options
author | zweistein <zweistein@web> | 2020-03-07 13:37:20 +0000 |
---|---|---|
committer | IkiWiki <ikiwiki.info> | 2020-03-07 13:37:20 +0000 |
commit | 0eb991d7d73292120ff04913dfbef42f3ccaf685 (patch) | |
tree | 45e4ab7e9fd42e23b1d2e71a991507da5c9b3782 | |
parent | 5e7c5e1f57091caa4ed7494b6ae5c9dc249840f0 (diff) |
aktiv?
-rw-r--r-- | ikiwiki/directive/polygen.mdwn | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/ikiwiki/directive/polygen.mdwn b/ikiwiki/directive/polygen.mdwn new file mode 100644 index 00000000..6c6d360c --- /dev/null +++ b/ikiwiki/directive/polygen.mdwn @@ -0,0 +1,16 @@ +[[!if test="enabled(polygen)" + then="In diesem Wiki ist die Direktive: polygen **aktiviert**." + else="In diesem Wiki ist die Direktive: polygen **nicht aktiv**; falls dies gewünscht wird, den Admin benachrichtigen."]] + +--- +The `polygen` directive is supplied by the [[!iki plugins/polygen desc=polygen]] plugin. + +This directive 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. + +[[!meta robots="noindex, follow"]] |