diff options
author | Eli Zaretskii <[email protected]> | 2000-12-20 14:13:48 +0000 |
---|---|---|
committer | Eli Zaretskii <[email protected]> | 2000-12-20 14:13:48 +0000 |
commit | 73ec16700b64f7b81f56cbe1c4809c3f13bd3b1e (patch) | |
tree | e5350a4b7072333d6c72b4b3efc7a2cd56db0eee /man/ChangeLog | |
parent | 3f7e303108f27e6620a5246aba6858011f4a24e0 (diff) |
(../info/idlwave): Use --no-split.
Diffstat (limited to 'man/ChangeLog')
-rw-r--r-- | man/ChangeLog | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/man/ChangeLog b/man/ChangeLog index 1a667de4fe..af7f6113be 100644 --- a/man/ChangeLog +++ b/man/ChangeLog @@ -1,3 +1,7 @@ +2000-12-20 Eli Zaretskii <[email protected]> + + * Makefile.in (../info/idlwave): Use --no-split. + 2000-12-14 Dave Love <[email protected]> * Makefile.in (mostlyclean): Remove gnustmp.* |