Files
bison/src
Akim Demaille 58ae95670b style: rename spec_defines_file as spec_header_file
The variable spec_defines_file denotes the name of the generated
header.  Its name is derived from --defines/%defines, whose name in
turn is derived from the fact that the header, in Yacc, contained the

Not only does the header now contain a lot more than just the token
definitions, but we no longer even generate macros, but an enum...

Let's modernize our vocabulary.

* src/files.h, src/files.c (spec_defines_file): Rename as...
(spec_header_file): this.
2019-03-17 16:36:05 +01:00
..
2019-01-05 14:58:05 +01:00
2019-02-05 19:02:09 +01:00
2019-01-05 14:58:05 +01:00
2019-02-05 08:45:52 +01:00
2019-01-05 14:58:05 +01:00
2019-01-28 06:47:07 +01:00
2019-02-24 19:08:01 +01:00
2019-02-09 08:59:55 +01:00
2019-01-05 14:58:05 +01:00
2019-01-05 14:58:05 +01:00
2019-02-27 19:06:32 +01:00
2019-01-05 14:58:05 +01:00
2019-02-28 06:47:19 +01:00
2019-02-25 06:19:54 +01:00
2019-02-27 19:06:32 +01:00
2019-01-26 16:21:35 +01:00
2019-01-05 14:58:05 +01:00
2019-01-05 14:58:05 +01:00
2019-01-05 14:58:05 +01:00
2019-01-05 14:58:05 +01:00
2019-01-05 14:58:05 +01:00
2019-02-16 07:26:16 +01:00
2019-01-17 18:09:38 +01:00
2019-01-30 07:06:48 +01:00
2019-01-30 07:06:48 +01:00
2019-02-09 08:23:50 +01:00
2019-01-05 14:58:05 +01:00
2019-02-05 19:02:09 +01:00
2019-01-05 14:58:05 +01:00
2019-02-09 08:23:50 +01:00
2019-02-03 14:42:22 +01:00
2019-02-27 19:06:32 +01:00
2019-02-27 19:06:32 +01:00
2019-01-05 14:58:05 +01:00
2019-01-05 14:58:05 +01:00
2008-11-15 10:47:15 +01:00
2019-01-05 14:58:05 +01:00
2019-02-03 15:23:54 +01:00
2008-11-15 10:47:15 +01:00
2019-01-05 14:58:05 +01:00
2019-01-17 18:09:38 +01:00
2008-11-15 10:47:15 +01:00
2019-01-05 14:58:05 +01:00
2019-01-05 14:58:05 +01:00
2019-02-28 06:47:19 +01:00
2019-02-03 07:28:57 +01:00
2019-01-05 14:58:05 +01:00
2019-02-03 07:28:57 +01:00
2019-01-27 20:07:08 +01:00
2019-01-05 14:58:05 +01:00
2019-02-24 12:00:44 +01:00
2019-01-05 14:58:05 +01:00
2019-01-05 14:58:05 +01:00
2019-01-05 14:58:05 +01:00
2019-01-12 10:45:21 +01:00