diff make-dist @ 85482:8435ae48d810

A better solution for the last change: (docflags, doldflags): New variables. (genmakefiles): Use them to work around problems with whitespace in arguments of the `if' command.
author Eli Zaretskii <eliz@gnu.org>
date Sat, 20 Oct 2007 12:28:23 +0000
parents 6fa9e8761256
children 2e60398b267b 14c4a6aac623
line wrap: on
line diff