(${etc}DOC): Fix file name of make-docfile.
authorStefan Monnier <monnier@iro.umontreal.ca>
Wed, 30 Jun 2004 19:31:30 +0000 (19:31 +0000)
committerStefan Monnier <monnier@iro.umontreal.ca>
Wed, 30 Jun 2004 19:31:30 +0000 (19:31 +0000)
commit8edacacd994b7d2fcea73577793dcdb02bc59553
tree0cc643885a87271bd8c2d2155f956038efaf81aa
parentc8d09ad8596deab6fc420d14c1545f2c11c9fd08
(${etc}DOC): Fix file name of make-docfile.
src/Makefile.in