* doc/misc/Makefile.in (info.info): Rename from info, to avoid duplication.
authorGlenn Morris <rgm@gnu.org>
Sat, 12 May 2012 01:32:19 +0000 (21:32 -0400)
committerGlenn Morris <rgm@gnu.org>
Sat, 12 May 2012 01:32:19 +0000 (21:32 -0400)
commitc7f95930c7051e70f0eff132dd94d9db8f98861e
tree337e4e2e430d54172e6a01f0a194d712c4504740
parent005ad204984f9cc908338e6ce273a5b6c7522183
* doc/misc/Makefile.in (info.info): Rename from info, to avoid duplication.
doc/misc/ChangeLog
doc/misc/Makefile.in