make.sh: prevent latex panic from requiring user input
make.sh: prevent latex panic from requiring user input

youprofit/lambdanative,emacstheviking/lambdanative,attila-lendvai/lambdanative,emacstheviking/lambdanative,gale320/lambdanative,attila-lendvai/lambdanative,gale320/lambdanative,VincentToups/lambdanative,youprofit/lambdanative,youprofit/lambdanative,VincentToups/lambdanative,attila-lendvai/lambdanative,emacstheviking/lambdanative,emacstheviking/lambdanative,VincentToups/lambdanative,attila-lendvai/lambdanative,emacstheviking/lambdanative,youprofit/lambdanative,VincentToups/lambdanative,attila-lendvai/lambdanative,gale320/lambdanative,VincentToups/lambdanative,gale320/lambdanative,youprofit/lambdanative,gale320/lambdanative