config.doc

#
#  Configuration file for the Vampire documentation.
# (c) 2003, Andrei Voronkov andrei@voronkov.com.
#

#
# general settings
#

PROJECT_NAME		= Vampire
OUTPUT_DIRECTORY	= doc
EXTRACT_ALL		= YES
EXTRACT_PRIVATE		= YES
EXTRACT_STATIC		= YES
EXTRACT_LOCAL_CLASSES	= YES
WARNINGS         	= YES

#
# input files settings
#

INPUT			= .
FILE_PATTERNS		= *.cpp *.hpp *.cc *.h
RECURSIVE		= YES
EXCLUDE_SYMLINKS = YES

#
# HTML-related options
#

GENERATE_HTML		= YES
HTML_OUTPUT		= html

ALPHABETICAL_INDEX = YES
COLS_IN_ALPHA_INDEX = 2

SOURCE_BROWSER = YES

#
# LaTeX-related options
#

GENERATE_LATEX		= NO
LATEX_OUTPUT		= latex

#
# external references 
#

ALLEXTERNALS           = YES

#
# other options
#

GENERATE_RTF		= NO
GENERATE_MAN		= NO
GENERATE_XML		= NO
GENERATE_AUTOGEN_DEF	= NO

MACRO_EXPANSION = YES