Spaces in directory names and texi2dvi 6991

2017-03-31 Thread Ioannis Kosmidis
Hi, I am facing an issue with compiling tex files under directories with spaces in the name through texi2dvi (version 6991). Apparently mkdir internally is not passed with a "safe" version of the path which results in the error mkdir: cannot create directory ‘dir ... pdflatex and variants work OK

Re: [GSoC] Proposal for JavaScript for info-style navigation.

2017-03-31 Thread Mathieu Lirzin
Per Bothner writes: > On 03/30/2017 03:40 PM, Mathieu Lirzin wrote: > >> Per Bothner writes: >>> While I re-emphasize this is my personal roadmap of how I think texinfo >>> should >>> evolve (not everyone agrees ...), I think there is general agreement of the >>> value of a nice JavaScript-base