(dvi): Run Make in our man subdir.
authorRichard M. Stallman <rms@gnu.org>
Wed, 23 Nov 1994 20:25:48 +0000 (20:25 +0000)
committerRichard M. Stallman <rms@gnu.org>
Wed, 23 Nov 1994 20:25:48 +0000 (20:25 +0000)
commit6784fb67729c030e182bd4318c0fb92c9ef92e61
tree2e7ad2ab8bb088e0afd50a262a4e8a3dc8f96c0b
parentc367541d6f471e831e2d3087ecd2d0784920f805
(dvi): Run Make in our man subdir.
Makefile.in