doc: Use better name for the Texinfo directory entry.
authorLudovic Courtès <ludo@gnu.org>
Fri, 13 Sep 2013 14:01:17 +0000 (16:01 +0200)
committerLudovic Courtès <ludo@gnu.org>
Fri, 13 Sep 2013 14:01:17 +0000 (16:01 +0200)
commit943f1a15f1fa1d890f07fc93a65fa01c57cde1ef
tree3a9cda1e87803083e59ca505c8670780fe2e9156
parentbb71ab293143f81b408dbfb8d3e45f84e444ddfd
doc: Use better name for the Texinfo directory entry.

* dmd.texi: Change direntry name to "dmd".
dmd.texi