Peter Schaffter <pe...@schaffter.ca> wrote: |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.
That's for someone else, then. But something like --with-doc=man or better --without-doc=[all]|info (examples?) is i think also possible with autotools (and can be deduced from m4/ stuff). I'm willing to get that done due to purely selfish reasons (though i really start from scratch, i.e., need some time), but what should be (and what actually can be) optional and what should be the actual syntax must be common sense of yours. |-- |Peter Schaffter |http://www.schaffter.ca --steffen
