From: Chris Hanson <org/chris-hanson/cph>
Date: Sun, 17 Oct 2004 02:43:00 +0000 (+0000)
Subject: Add EXTRA_TEX_OPTIONS so that includer can modify tex behavior.
X-Git-Tag: 20090517-FFI~1536
X-Git-Url: https://birchwood-abbey.net/git?a=commitdiff_plain;h=122b10a626f61b9b21e4ab5c32d20de344747558;p=mit-scheme.git

Add EXTRA_TEX_OPTIONS so that includer can modify tex behavior.
---

diff --git a/v7/doc/make-common.in b/v7/doc/make-common.in
index e757b2460..da6054523 100644
--- a/v7/doc/make-common.in
+++ b/v7/doc/make-common.in
@@ -1,5 +1,5 @@
 
-# $Id: make-common.in,v 1.1 2004/10/16 06:02:55 cph Exp $
+# $Id: make-common.in,v 1.2 2004/10/17 02:43:00 cph Exp $
 #
 # Copyright 2000,2001,2002,2003,2004 Massachusetts Institute of Technology
 #
@@ -66,7 +66,7 @@ DVI_TARGET = $(TARGET_ROOT).dvi
 PDF_TARGET = $(TARGET_ROOT).pdf
 PS_TARGET = $(TARGET_ROOT).ps
 
-TEX_OPTIONS = --quiet
+TEX_OPTIONS = --quiet $(EXTRA_TEX_OPTIONS)
 
 all: $(INFO_TARGET) $(HTML_TARGET)/index.html $(PDF_TARGET) $(PS_TARGET)