diff options
Diffstat (limited to 'macros/texinfo/texinfo/tp/Texinfo/XS/parsetexi/element_types.awk')
-rw-r--r-- | macros/texinfo/texinfo/tp/Texinfo/XS/parsetexi/element_types.awk | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/macros/texinfo/texinfo/tp/Texinfo/XS/parsetexi/element_types.awk b/macros/texinfo/texinfo/tp/Texinfo/XS/parsetexi/element_types.awk index 5c2c062c50..83618f9929 100644 --- a/macros/texinfo/texinfo/tp/Texinfo/XS/parsetexi/element_types.awk +++ b/macros/texinfo/texinfo/tp/Texinfo/XS/parsetexi/element_types.awk @@ -1,4 +1,4 @@ -# Copyright 2014-2018 Free Software Foundation, Inc. +# Copyright 2014-2021 Free Software Foundation, Inc. # # This program is free software; you can redistribute it and/or modify # it under the terms of the GNU General Public License as published by @@ -22,6 +22,8 @@ BEGIN { ETC = srcdir "/element_types.c" print "/* This file automatically generated by element_types.awk */" > ETH + print "#ifndef ELEMENT_TYPES_H" > ETH + print "#define ELEMENT_TYPES_H" > ETH print "enum element_type {" > ETH print "ET_NONE," > ETH } @@ -35,6 +37,7 @@ END { print "};" > ETH print > ETH print "extern char *element_type_names[];" > ETH + print "#endif" > ETH print "char *element_type_names[] = {" > ETC print "0," > ETC |