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:
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