--- a/src/DLD-FUNCTIONS/dasrt.cc
+++ b/src/DLD-FUNCTIONS/dasrt.cc
@@ -220,7 +220,7 @@
 with\n\
 $$ x(t_0) = x_0, \\dot{x}(t_0) = \\dot{x}_0 $$\n\
 @end tex\n\
-@ifinfo\n\
+@ifnottex\n\
 \n\
 @example\n\
 0 = f (x, xdot, t)\n\
@@ -232,7 +232,7 @@
 x(t_0) = x_0, xdot(t_0) = xdot_0\n\
 @end example\n\
 \n\
-@end ifinfo\n\
+@end ifnottex\n\
 with functional stopping criteria (root solving).\n\
 \n\
 The solution is returned in the matrices @var{x} and @var{xdot},\n\
@@ -271,7 +271,7 @@
   + c {\\partial f \\over \\partial \\dot{x}}\n\
 $$\n\
 @end tex\n\
-@ifinfo\n\
+@ifnottex\n\
 \n\
 @example\n\
       df       df\n\
@@ -279,7 +279,7 @@
       dx     d xdot\n\
 @end example\n\
 \n\
-@end ifinfo\n\
+@end ifnottex\n\
 \n\
 The modified Jacobian function must have the form\n\
 \n\