diff --git a/src/doc/design/.cvsignore b/src/doc/design/.cvsignore
index 7fc966f601..3386d01813 100644
--- a/src/doc/design/.cvsignore
+++ b/src/doc/design/.cvsignore
@@ -2,3 +2,4 @@ Makefile
 version.texi
 stamp-vti
 *.info
+*.html
diff --git a/src/doc/design/gnucash-design.texinfo b/src/doc/design/gnucash-design.texinfo
index 2c8bf7adbd..ddf2dd37ed 100644
--- a/src/doc/design/gnucash-design.texinfo
+++ b/src/doc/design/gnucash-design.texinfo
@@ -75,12 +75,12 @@ except that this permission notice may be stated in a
 translation approved by the Free Software Foundation.
 @end titlepage
 
-@ifinfo
+@ifnottex
 @node Top, Introduction, (dir), (dir)
 @top GnuCash Design Document
 This is Edition @value{EDITION}, last updated @value{UPDATED},
 of the @cite{GnuCash Design Document}, version @value{VERSION}.
-@end ifinfo
+@end ifnottex
 
 @menu
 * Introduction::