%default-title-end-punct%
Name
%default-title-end-punct% -- Default punctuation at the end of a run-in head.
Synopsis
%default-title-end-punct%
Description
The punctuation used at the end of a run-in head (e.g. on FORMALPARA).
Source Code
(define %default-title-end-punct%
;; Default punctuation at the end of a run-in head.
".")