diff options
| author | Glenn Morris <rgm@gnu.org> | 2013-07-23 18:57:17 -0400 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2013-07-23 18:57:17 -0400 |
| commit | bbece175c960338be32e9c2381800d4657315ff3 (patch) | |
| tree | 76185ca15097f07d0f99f961382bee391babcfe4 /oldXMenu | |
| parent | 97afc49a1a5e6482431ab7c6301561936fdcb4b5 (diff) | |
Use a @configure_input@ comment at the start of generated Makefiles
Diffstat (limited to 'oldXMenu')
| -rw-r--r-- | oldXMenu/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/oldXMenu/Makefile.in b/oldXMenu/Makefile.in index f4fda56e28..b08e6649cb 100644 --- a/oldXMenu/Makefile.in +++ b/oldXMenu/Makefile.in @@ -1,4 +1,4 @@ -## Makefile for oldXMenu +### @configure_input@ ## Copyright 1985, 1986, 1987 by the Massachusetts Institute of Technology |