Added "nightly" target, so that "make world" doesn't do docs and such.
authorjcargill <jcargill>
Mon, 11 Jul 1994 23:20:51 +0000 (23:20 +0000)
committerjcargill <jcargill>
Mon, 11 Jul 1994 23:20:51 +0000 (23:20 +0000)
commitd732ac05f306dc6686a45002b308d0cd03f8ed17
tree6b11239067ea485fb52715cdd02de27c14249c2c
parent9bcc8b4161711993f54c1876a038829fa8160316
Added "nightly" target, so that "make world" doesn't do docs and such.
Makefile