projects / platform / upstream / make.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 78a4848) | patch
Talk about which dir Info files, Bison output, etc. should go in.
authorRichard M. Stallman <rms@gnu.org>
Thu, 7 Nov 1996 22:30:30 +0000 (22:30 +0000)
committerRichard M. Stallman <rms@gnu.org>
Thu, 7 Nov 1996 22:30:30 +0000 (22:30 +0000)
commita1eb3e67cd14621af7003ff683eacfc8f37c9806
tree531db5a5500205f79466a1eacb050b2da43b2963tree | snapshot
parent78a4848b83f13cea477e5720e2dcdc28a4818acdcommit | diff
Talk about which dir Info files, Bison output, etc. should go in.

Add some more utilities that can be used in make commands.
make-stds.texi diff | blob | history
Domain: System / Base;