dvitomp fix from Akira
[mplib] / src / texk / kpathsea / recorder.h
1 /* recorder.h: filename recorder callback.
2
3    Copyright 2007, 2008 Karl Berry.
4
5    This library is free software; you can redistribute it and/or
6    modify it under the terms of the GNU Lesser General Public
7    License as published by the Free Software Foundation; either
8    version 2.1 of the License, or (at your option) any later version.
9
10    This library is distributed in the hope that it will be useful,
11    but WITHOUT ANY WARRANTY; without even the implied warranty of
12    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
13    Lesser General Public License for more details.
14
15    You should have received a copy of the GNU Lesser General Public License
16    along with this library; if not, see <http://www.gnu.org/licenses/>.  */
17
18 #ifndef KPATHSEA_RECORDER_H
19 #define KPATHSEA_RECORDER_H
20
21 /* These variables are set by web2c and are used to record filenames for its
22    filename -recorder option.  This way they can also be used for files
23    opened by kpathsea, e.g., texmf.cnf */
24 extern void (*kpse_record_input) (const_string);
25 extern void (*kpse_record_output) (const_string);
26
27 #endif /* not KPATHSEA_RECORDER_H */