diff options
| -rw-r--r-- | etc/srecode/texi.srt | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/etc/srecode/texi.srt b/etc/srecode/texi.srt index 2aa97b9298c..06a12b05690 100644 --- a/etc/srecode/texi.srt +++ b/etc/srecode/texi.srt | |||
| @@ -33,11 +33,6 @@ template empty :file :user :time | |||
| 33 | "Fill a new texinfo file with some baseline stuff." | 33 | "Fill a new texinfo file with some baseline stuff." |
| 34 | ---- | 34 | ---- |
| 35 | \input texinfo @c -*-texinfo-*- | 35 | \input texinfo @c -*-texinfo-*- |
| 36 | $#RCS$ | ||
| 37 | @c | ||
| 38 | @c $Id: texi.srt,v 1.2 2009/10/04 00:01:24 gm Exp $ | ||
| 39 | @c | ||
| 40 | $/RCS$ | ||
| 41 | @c %**start of header | 36 | @c %**start of header |
| 42 | @setfilename $FILE$.info | 37 | @setfilename $FILE$.info |
| 43 | @set TITLE $?NAME$ | 38 | @set TITLE $?NAME$ |