> From: Matt Birkholz <m...@birchwood-abbey.net> > Date: Fri, 12 Dec 2014 10:13:33 -0700 > > > From: Nathan Thern <nth...@gmail.com> > > Date: Thu, 11 Dec 2014 10:15:44 -0500 > > > > On 12/10/2014 10:45 PM, Matt Birkholz wrote: > > > [...] They are documented in the User Manual, node "Command-Line > > > Options". > > > > [Since] --disable-pdf to the config script doesn't actually disable > > building the pdfs, I haven't been able to build the documentation > > for 9.2. > > Fixed in commit 73bb197.
"in" should be "as of". The fix was actually in 285850e. 73bb197 is related, but different. And you will need --disable-ps too. --disable-ps and --disable-pdf build only Info and HTML, which do not involve TeX. _______________________________________________ MIT-Scheme-users mailing list MIT-Scheme-users@gnu.org https://lists.gnu.org/mailman/listinfo/mit-scheme-users