>>>> "Gunnar" == Gunnar Evermann
<Gunnar.Evermann(a)nats.informatik.uni-hamburg.de> writes:
Gunnar> 'make lispref.dvi' breaks (no I don't want to sacrifice a whole
tree
Gunnar> printing all that...)
It would be good if `make dvi' was part of Steve's release validation
procedure.
Martin