diff configure @ 31916:7b81c864cccf

Adapt to the change of leim/Makefile which was necessary to ensure a reasonably working `make dist'.
author Gerd Moellmann <gerd@gnu.org>
date Tue, 26 Sep 2000 19:22:44 +0000
parents 3e0642938fc8
children baf314674954
line wrap: on
line diff