New option --no-check.
authorRichard M. Stallman <rms@gnu.org>
Tue, 27 Jan 1998 04:17:53 +0000 (04:17 +0000)
committerRichard M. Stallman <rms@gnu.org>
Tue, 27 Jan 1998 04:17:53 +0000 (04:17 +0000)
commite4e1c623dd6f69e041db4ed99669345ca20682f8
tree345b7b3bdfd62561e42ed0530ec8d39dbf2055c3
parentdab2fff990489062f2b34ee506eebc8c2058ff68
New option --no-check.

Don't do anything with cpp directory.
make-dist