diff lispintro/configure.in @ 47717:fa03f030aca0

Remove reference to SERVER_HOME_DIR completely.
author Markus Rost <rost@math.uni-bielefeld.de>
date Tue, 01 Oct 2002 00:45:30 +0000
parents a8ee89e61d20
children 695cf19ef79e
line wrap: on
line diff