From 8007e07cfe29e089d495d4be84ee5ee847c68aa9 Mon Sep 17 00:00:00 2001 From: Stevie Strickland Date: Tue, 5 Aug 2008 18:43:06 +0000 Subject: [PATCH] Okay, one last time. svn: r11089 --- collects/slatex/pdf-slatex-launcher.ss | 2 ++ 1 file changed, 2 insertions(+) diff --git a/collects/slatex/pdf-slatex-launcher.ss b/collects/slatex/pdf-slatex-launcher.ss index f10e44f512..30b7464018 100644 --- a/collects/slatex/pdf-slatex-launcher.ss +++ b/collects/slatex/pdf-slatex-launcher.ss @@ -5,6 +5,8 @@ (define argv (current-command-line-arguments)) + (define no-latex (make-parameter #f)) + (case (system-type) [(macos)