From be209d4f31cf94ebebf15c59bf3865bd0aa6468c Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 16 Mar 2000 22:30:59 +0000 Subject: [PATCH] . original commit: 5e1ace5fcc4e2f4c3e77da34bc14c0665c25d1e6 --- man/man1/mred.1 | 2 +- man/man1/mzscheme.1 | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/man/man1/mred.1 b/man/man1/mred.1 index 520e8fd2..02e58dc8 100644 --- a/man/man1/mred.1 +++ b/man/man1/mred.1 @@ -111,7 +111,7 @@ Same as .I file\|\c ")'. .TP -.BI \-L \ file \ \\ coll +.BI \-L \ file \ coll Same as .BR -e \ '(require-library\ "\|\c .I file\|\c diff --git a/man/man1/mzscheme.1 b/man/man1/mzscheme.1 index 5513ef7e..6169ad69 100644 --- a/man/man1/mzscheme.1 +++ b/man/man1/mzscheme.1 @@ -71,7 +71,7 @@ Same as .I file\|\c ")'. .TP -.BI \-L \ file \ \\ coll +.BI \-L \ file \ coll Same as .BR -e \ '(require-library\ "\|\c .I file\|\c