filename and linenumber info in more places

1988-08-29 15:51:48 +00:00
parent 62d1432035
commit 32e5679d6c
16 changed files with 108 additions and 71 deletions
--- a/lang/cem/cemcom/make.tokfile
+++ b/lang/cem/cemcom/make.tokfile
@@ -1,3 +1,8 @@
+cat <<'--EOT--'
+/* Generated by make.tokfile */
+/* $Header: */
+--EOT--
+
 sed '
 /{[A-Z]/!d
 s/.*{//