diff lib-src/make-docfile.c @ 17631:35d8e74c6edb

Use defcustom.
author Richard M. Stallman <rms@gnu.org>
date Sat, 03 May 1997 19:16:43 +0000
parents ee40177f6c68
children 77fa90ed939d
line wrap: on
line diff