From 2b12b1b9277aaa017d2016fc765a885d09d695d0 Mon Sep 17 00:00:00 2001
From: Mihail Groza <unlupdestepa@gmail.com>
Date: Tue, 14 Mar 2017 15:39:08 +0000
Subject: [PATCH] First part of transition from not-function header.

Git doesn't handle move and change well, so this is just the part that
moves.
---
 src/Makefile.am                                   | 7 ++-----
 src/nameChecks.c                                  | 4 ++--
 src/{Headers/reservedNames.nf => reservedNames.c} | 0
 3 files changed, 4 insertions(+), 7 deletions(-)
 rename src/{Headers/reservedNames.nf => reservedNames.c} (100%)

diff --git a/src/Makefile.am b/src/Makefile.am
index a6ffb78..73792f0 100644
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -518,16 +518,13 @@ IFILES = \
 
 EXTRAGRAMMARFILES = bison.head bison.reset flex.head flex.reset
 
-NONFUNCTIONMACROSFILES = \
-			 $(INCDIR)/splintMacros.nf \
-			 $(INCDIR)/reservedNames.nf
-
 EXTRA_DIST = \
 	     flags.def \
 	     $(srcdir)/flag_codes.h \
+	     $(srcdir)/reservedNames.c \
+	     $(INCDIR)/splintMacros.nf \
 	     $(EXTRAGRAMMARFILES) \
 	     $(IFILES) \
-	     $(NONFUNCTIONMACROSFILES) \
 	     .splintrc \
 	     LICENSE
 
diff --git a/src/nameChecks.c b/src/nameChecks.c
index 157e750..ee2936f 100644
--- a/src/nameChecks.c
+++ b/src/nameChecks.c
@@ -1195,12 +1195,12 @@ checkStdName (uentry ue)
 
   static /*@observer@*/ const char* reservedNames[NRESERVEDNAMES] =
     { 
-# include "reservedNames.nf"
+# include "reservedNames.c"
     } ;
 
 # if 0
   /*
-  ** This code is for checking reservedNames.nf
+  ** This code is for checking reservedNames.c
   */
 
   {
diff --git a/src/Headers/reservedNames.nf b/src/reservedNames.c
similarity index 100%
rename from src/Headers/reservedNames.nf
rename to src/reservedNames.c
-- 
2.11.4.GIT