Hi Tobias,

OK? – And for which branches?

OK for all branches (assuming you checked with "make pdf" and
"make dvi").

Thanks for doing this - our documentation is not always quite
up to date...

Regards

        Thomas

Reply via email to