1 /* recorder.h: filename recorder callback.
3 Copyright 2007, 2008 Karl Berry.
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.
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.
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/>. */
18 #ifndef KPATHSEA_RECORDER_H
19 #define KPATHSEA_RECORDER_H
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);
27 #endif /* not KPATHSEA_RECORDER_H */