2001-12-18 Kai Gro\e,A_\e(Bjohann <Kai.Grossjohann@CS.Uni-Dortmund.DE>
* make-x.bat: Ensure nonempty variable value. Reported by Frank
2001-12-18 Kai Gro\e,A_\e(Bjohann <Kai.Grossjohann@CS.Uni-Dortmund.DE>
* make-x.bat: Ensure nonempty variable value. Reported by Frank