On Wed, Mar 12, 2014, Werner Lemberg wrote: > > Would it make sense to send a patch that does this if at the end of > > all the conditions there is still no `gnu.eps'? > > No, thanks. Instead, you might contribute a patch to implement a > `--without-doc' configure switch that completely disables the > generation of documentation files. :-)
I'm assuming '--without-doc' wouldn't include manpages. Since it would represent a fairly hefty build prune, a note in INSTALL or INSTALL.gen might be warranted, too. -- Peter Schaffter http://www.schaffter.ca
