* src/Makefile.in ($(etc)/DOC): Make second command line even shorter.
authorGlenn Morris <rgm@gnu.org>
Sat, 21 May 2011 02:02:42 +0000 (19:02 -0700)
committerGlenn Morris <rgm@gnu.org>
Sat, 21 May 2011 02:02:42 +0000 (19:02 -0700)
commit32078c8d4891cc620249aee12a889669d65ce734
tree8cc131ef675ea2bb1f62d8b39a3685063294e523
parent1dcf791fefa6533a06f58a5d2d074f59f06ee9ae
* src/Makefile.in ($(etc)/DOC): Make second command line even shorter.
src/ChangeLog
src/Makefile.in