diff options
Diffstat (limited to 'lang/Sather/files/patch-Emacs__sather.texinfo')
| -rw-r--r-- | lang/Sather/files/patch-Emacs__sather.texinfo | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/lang/Sather/files/patch-Emacs__sather.texinfo b/lang/Sather/files/patch-Emacs__sather.texinfo new file mode 100644 index 000000000000..9cf230d89eb3 --- /dev/null +++ b/lang/Sather/files/patch-Emacs__sather.texinfo @@ -0,0 +1,16 @@ +--- Emacs/sather.texinfo.orig Sun Jul 25 17:23:34 1999 ++++ Emacs/sather.texinfo Thu May 2 22:01:13 2002 +@@ -9,6 +9,13 @@ + @c %**end of header + + @ifinfo ++@format ++INFO-DIR-SECTION Sather ++START-INFO-DIR-ENTRY ++* sather: (sather). The Sather Specification. ++END-INFO-DIR-ENTRY ++@end format ++ + This file describes the Sather language. + + Copyright (C) 1995 by International Computer Science Institute |