diff options
Diffstat (limited to 'editors/jed/Makefile')
| -rw-r--r-- | editors/jed/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/editors/jed/Makefile b/editors/jed/Makefile index 86ac01954b50..f36f9a169751 100644 --- a/editors/jed/Makefile +++ b/editors/jed/Makefile @@ -3,7 +3,7 @@ # Date created: 22 APR 1997 # Whom: eric # -# $Id$ +# $Id: Makefile,v 1.1.1.1 1997/06/04 06:32:22 asami Exp $ # DISTNAME= jed0.98-4 @@ -51,7 +51,7 @@ post-install: sed -ne '1,/Menu:/p' /usr/share/info/dir > ${PREFIX}/info/dir; \ fi install-info --section="Miscellaneous" \ - --entry="* JED: (jed). JED editor documentation." \ + --entry="* JED: (jed). JED editor documentation." \ ${PREFIX}/info/jed.info ${PREFIX}/info/dir .endif |