diff move-if-change @ 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 354e0c45cedf
children 14a97ab281d5
line wrap: on
line diff