include "html_common.outlang"

doctemplate
" * <!-- Generated by Source-highlight -->
 * <pre><tt>
"
" * </tt></pre>
"
end

nodoctemplate
" * <!-- Generated by Source-highlight -->
 * <pre><tt>
"
" * </tt></pre>
"
end

lineprefix " * "

translations
"*/" "&#42;/" # this avoids the */ to be interpreted as
# the end of a comment inside a javadoc comment
end