summary refs log tree commit diff
path: root/Doc/ztexi.yo
diff options
context:
space:
mode:
Diffstat (limited to 'Doc/ztexi.yo')
-rw-r--r--Doc/ztexi.yo5
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)\