Karl Yngve Lervåg 798d0561a2 Solve #3: Better way of finding main tex file ...

Instead of searching for predefined main tex file names, I now use a
simple search for files that input or include the current tex file.

2013-12-08 19:32:30 +01:00

..

latex.txt

Solve #3: Better way of finding main tex file

2013-12-08 19:32:30 +01:00