doc: Use @ifnottex, not @ifinfo, for the 'Top' node.
authorLudovic Courtès <ludo@gnu.org>
Fri, 27 Sep 2013 19:22:57 +0000 (21:22 +0200)
committerLudovic Courtès <ludo@gnu.org>
Fri, 27 Sep 2013 19:22:57 +0000 (21:22 +0200)
commitbbe815fbbac698b1db9ffa77b77764d202b33c27
tree457e2d3b828556b6c6fb5aa7ea77648c50b5b374
parent25ac0f1b6646a8ad75037a11c21fcdd006593b08
doc: Use @ifnottex, not @ifinfo, for the 'Top' node.

* dmd.texi (Top): Use @ifnottex instead of @ifinfo, as recommended by
  makeinfo.
dmd.texi