Hi, 2016-04-04 17:06 GMT+02:00 Bas Couwenberg <[email protected]>: > If it's only used for the dev docs, I advise agaist adding it. The dev docs
yes, it is. > are seldom installed, and texlive is a huge dependency. > > I've not received reports from users requesting PDF of DVI docs, so I'm not > inclined to treat this as an issue that needs to be addressed. Make sense to me. Thanks for feedback. Ma -- Martin Landa http://geo.fsv.cvut.cz/gwiki/Landa http://gismentors.cz/mentors/landa
