diff options
Diffstat (limited to 'Doc/ztexi.yo')
| -rw-r--r-- | Doc/ztexi.yo | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Doc/ztexi.yo b/Doc/ztexi.yo index a89605ff9..efb1d5e15 100644 --- a/Doc/ztexi.yo +++ b/Doc/ztexi.yo @@ -81,6 +81,11 @@ def(texiiftex)(1)(\ ARG1\ NOTRANS(@end iftex)NL()\ ) +def(texiifnottex)(1)(\ + NOTRANS(@ifnottex)NL()\ + ARG1\ + NOTRANS(@end ifnottex)NL()\ +) def(texipage)(0)(\ NOTRANS(@page)\ |