51 |
|
|
52 |
extern int w32; |
extern int w32; |
53 |
extern const char *www; |
extern const char *www; |
|
extern const char *include_header; |
|
54 |
extern int file_count; |
extern int file_count; |
55 |
extern int sep; |
extern int sep; |
56 |
extern int exitflag; |
extern int exitflag; |
105 |
extern const char *gtagslabel; |
extern const char *gtagslabel; |
106 |
extern const char *title; |
extern const char *title; |
107 |
extern const char *xhtml_version; |
extern const char *xhtml_version; |
108 |
|
extern const char *insert_header; |
109 |
|
extern const char *insert_footer; |
110 |
|
|
111 |
extern const char *title_define_index; |
extern const char *title_define_index; |
112 |
extern const char *title_file_index; |
extern const char *title_file_index; |