diff src/chpdef.h @ 5108:8c482171bb10

(Man-specified-section-option): New variable. (Man-translate-references): Use that variable.
author Richard M. Stallman <rms@gnu.org>
date Mon, 22 Nov 1993 06:34:22 +0000
parents 3165b2697c78
children 695cf19ef79e
line wrap: on
line diff