bug#7994: make distcheck fails when latex is not installed

2020-05-07 Thread Karl Berry
Lacking further input, I've pushed the following documentation-only change to close this one. A further change, for https://bugs.gnu.org/8289 (which has much more discussion), should make it possible to omit and change running make dvi. --thanks, karl. -

bug#7994: make distcheck fails when latex is not installed

2020-04-29 Thread Karl Berry
Hi Ralf, Jose, anyone and everyone, Back on this automake bug report from a mere nine years ago: (https://debbugs.gnu.org/cgi/bugreport.cgi?bug=7994) Date: Sun, 6 Feb 2011 23:20:01 +0100 In a package with a texinfo file, distcheck fails when LaTeX is not installed. Instead, it shoul

bug#7994: make distcheck fails when latex is not installed

2011-02-07 Thread Ralf Wildenhues
In a package with a texinfo file, distcheck fails when LaTeX is not installed. Instead, it should exit 63(?). The fact that distcheck runs 'make dvi' is not documented. (From Jose; please correct me if I cited this wrongly now.) Thanks, Ralf