patched by pjr from diff by rms
authorPhillip Rulon <pjr@gnu.org>
Fri, 24 Sep 1999 13:52:46 +0000 (13:52 +0000)
committerPhillip Rulon <pjr@gnu.org>
Fri, 24 Sep 1999 13:52:46 +0000 (13:52 +0000)
commit66f54605e12ff94855ddedbf2f31cb0705ec469d
tree177330c6c398aac88adab92091defeda87230f9f
parentcbcb61603b4561ceeeeef8445690c33b600e7277
patched by pjr from diff by rms
lib-src/make-docfile.c
lispref/display.texi