comparison make-dist @ 86130:e55a87ac8167

(Man-heading-regexp): Add 0-9. (Man-first-heading-regexp): Remove leading space [ \t]* before NAME.
author Juri Linkov <juri@jurta.org>
date Fri, 16 Nov 2007 01:18:50 +0000
parents 7a2e26f2fa76
children b4d02fc0c471 880960b70474
comparison
equal deleted inserted replaced
86129:4805df3408b9 86130:e55a87ac8167