/* Logging to a file */

#ifndef __log_h
#define __log_h

#ifndef __stdio_h
#include <stdio.h>
#endif

extern void log_start(void);
extern void log_complete(int found);
extern void log_abort(void);
extern void log_log(const char *format, ...);
extern void log_time(void);
extern void log_newline(void);
extern void log_backspace(void);
extern void log_found(unsigned article_no);
extern void log_group(const char *groupname, int messages);
extern void log_endgroup(void);	/* Adds newline to found file */

#endif
