doc: use .texi extension consistently.
commitfd5af29d49ea6fd34b626557e3264f0ba9ea443b
authorGary V. Vaughan <gary@gnu.org>
Sun, 15 Sep 2013 11:50:02 +0000 (15 18:50 +0700)
committerGary V. Vaughan <gary@gnu.org>
Sun, 15 Sep 2013 14:33:55 +0000 (15 21:33 +0700)
treec97d409891500c1464f37939ef2e687217f12b22
parentf8a843fae07daca14262242638e4d3be9445dc01
doc: use .texi extension consistently.

* doc/m4.texinfo: Rename from this...
* doc/m4.texi: ...to this.
* Makefile.am (m4_texinfo): Rename from this...
(m4_texi): ...to this. Adjust all callers.
* doc/Makeflie.am (m4_TEXINFOS): Adjust.

Signed-off-by: Gary V. Vaughan <gary@gnu.org>
Changelog
Makefile.am
doc/Makefile.am