* Makefile.in (install-info): Remove some useless subshells.
authorGlenn Morris <rgm@gnu.org>
Thu, 12 Dec 2013 09:02:27 +0000 (01:02 -0800)
committerGlenn Morris <rgm@gnu.org>
Thu, 12 Dec 2013 09:02:27 +0000 (01:02 -0800)
commite035a207b7c3ce6493088b03c1066db58b0cf375
tree73e9468911baf1e410f5ff6fc9966c89435519bc
parent62bd73fa7a8c50504bc6f916b86603ea654fc472
* Makefile.in (install-info): Remove some useless subshells.
ChangeLog
Makefile.in