diff options
author | Karl Berry <karl@freefriends.org> | 2019-01-06 23:19:16 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2019-01-06 23:19:16 +0000 |
commit | 976f2b9b61a086f8594f6bfe6dbea42faa56edb2 (patch) | |
tree | 9e620153df80a27b0304ae9827fa0f69a02191e0 /Build/source/texk/web2c/cwebboot.hin | |
parent | b109e3c47399f4fdfc7805b8f9168c7452f78e96 (diff) |
cwebbin for cweb, from Andreas Scherer https://github.com/ascherer/cwebbin)
git-svn-id: svn://tug.org/texlive/trunk@49626 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/cwebboot.hin')
-rw-r--r-- | Build/source/texk/web2c/cwebboot.hin | 65 |
1 files changed, 0 insertions, 65 deletions
diff --git a/Build/source/texk/web2c/cwebboot.hin b/Build/source/texk/web2c/cwebboot.hin deleted file mode 100644 index 23678f6d029..00000000000 --- a/Build/source/texk/web2c/cwebboot.hin +++ /dev/null @@ -1,65 +0,0 @@ -/*84:*/ -#line 792 "cwebdir/comm-w2c.ch" - -/* Prototypes for functions, either - * declared in common.w and used in ctangle.w and cweave.w, or - * used in common.w and declared in ctangle.w and cweave.w. */ -/*35:*/ -#line 344 "cwebdir/comm-w2c.ch" - -extern int names_match(name_pointer,const char*,int,char); -#line 652 "cwebdir/common.w" - -/*:35*//*40:*/ -#line 402 "cwebdir/comm-w2c.ch" - -extern void init_p(name_pointer p,char t); -#line 705 "cwebdir/common.w" - -/*:40*//*48:*/ -#line 468 "cwebdir/comm-w2c.ch" - -extern void init_node(name_pointer node); -#line 854 "cwebdir/common.w" - -/*:48*//*59:*/ -#line 539 "cwebdir/comm-w2c.ch" - -extern void err_print(const char*); -#line 1094 "cwebdir/common.w" - -/*:59*//*62:*/ -#line 559 "cwebdir/comm-w2c.ch" - -extern int wrap_up(void); -extern void print_stats(void); -#line 1143 "cwebdir/common.w" - -/*:62*//*65:*/ -#line 578 "cwebdir/comm-w2c.ch" - -extern void fatal(const char*,const char*); -extern void overflow(const char*); -#line 1175 "cwebdir/common.w" - -/*:65*//*83:*/ -#line 773 "cwebdir/comm-w2c.ch" - -extern void common_init(void); -extern int input_ln(FILE*fp); -extern void reset_input(void); -extern int get_line(void); -extern void check_complete(void); -extern name_pointer id_lookup(const char*first,const char*last,char t); -extern void print_section_name(name_pointer p); -extern void sprint_section_name(char*dest,name_pointer p); -extern name_pointer section_lookup(char*first,char*last,int ispref); -#line 1417 "cwebdir/common.w" - -#line 788 "cwebdir/comm-w2c.ch" -/*:83*/ -#line 796 "cwebdir/comm-w2c.ch" - -extern const char*versionstring; - -/*:84*/ |