diff options
author | Marc Espie <espie@cvs.openbsd.org> | 2000-02-09 01:27:25 +0000 |
---|---|---|
committer | Marc Espie <espie@cvs.openbsd.org> | 2000-02-09 01:27:25 +0000 |
commit | 328f35a635ee7b14c4d6f2dbddacba138e62219b (patch) | |
tree | 5f0effaeb304116c7826d814dfa001d501a3b10a /gnu/usr.bin/texinfo/makeinfo/files.h | |
parent | c2daa957909e4243f84a2232ff4a481b6c44a393 (diff) |
TexInfo 4.0. New manpages, can create html.
A bit more grumpy about bad texinfo, though.
Diffstat (limited to 'gnu/usr.bin/texinfo/makeinfo/files.h')
-rw-r--r-- | gnu/usr.bin/texinfo/makeinfo/files.h | 45 |
1 files changed, 45 insertions, 0 deletions
diff --git a/gnu/usr.bin/texinfo/makeinfo/files.h b/gnu/usr.bin/texinfo/makeinfo/files.h new file mode 100644 index 00000000000..6cae9e543e4 --- /dev/null +++ b/gnu/usr.bin/texinfo/makeinfo/files.h @@ -0,0 +1,45 @@ +/* files.h -- declarations for files.c. + $Id: files.h,v 1.1.1.1 2000/02/09 01:25:11 espie Exp $ + + Copyright (C) 1998 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 + the Free Software Foundation; either version 2, or (at your option) + any later version. + + This program is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU General Public License for more details. + + You should have received a copy of the GNU General Public License + along with this program; if not, write to the Free Software + Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. + */ + +#ifndef FILES_H +#define FILES_H + +/* A stack of file information records. If a new file is read in with + "@input", we remember the old input file state on this stack. */ +typedef struct fstack +{ + struct fstack *next; + char *filename; + char *text; + int size; + int offset; + int line_number; +} FSTACK; +extern FSTACK *filestack; + +extern void pushfile (), popfile (); +extern void flush_file_stack (); +extern char *find_and_load (); +extern char *output_name_from_input_name (); +extern char *expand_filename (); +extern char *filename_part (); +extern char *pathname_part (); + +#endif /* !FILES_H */ |