diff doc/misc/makefile.w32-in @ 93853:8fc3183d5a63

(checkdoc-this-string-valid-engine): Use `string-match-p'.
author Juanma Barranquero <lekktu@gmail.com>
date Tue, 08 Apr 2008 11:47:48 +0000
parents 613a3644824d
children fbe58782bc21
line wrap: on
line diff