comparison src/w32gui.h @ 48894:18c79e584eb1

($(DOC)): Use -o and -a options to make-docfile, because GNU make doesn't append when using >> redirection.
author Andrew Innes <andrewi@gnu.org>
date Wed, 18 Dec 2002 23:52:39 +0000
parents fce1df45a956
children 04ca11636b72 d7ddb3e565de
comparison
equal deleted inserted replaced
48893:7320714f3cba 48894:18c79e584eb1