Name
refentrys.props -- a Properties file listing RefEntry documents to include
Description
The refentrys.props Java Properties file
holds a property for each RefEntry source to format and include in
the servlet. Each line takes the following format:
refentry-id=relative/path/to/source |
Here, refentry-id is a unique
identifier for the reference entry, defined from the source file
name as
basename-manvolnum,
and relative/path/to/source is
something like
src/xml/refentrys.props.5.
An excerpt of the default file appears as follows:
# Individual RefEntry Documents
build-1=src/xml/build.1
Build-3=src/xml/Build.3
refentrys.props-5=src/xml/refentrys.props.5
programlisting-7=src/xml/programlisting.7 |