From 122b10a626f61b9b21e4ab5c32d20de344747558 Mon Sep 17 00:00:00 2001
From: Chris Hanson <org/chris-hanson/cph>
Date: Sun, 17 Oct 2004 02:43:00 +0000
Subject: [PATCH] Add EXTRA_TEX_OPTIONS so that includer can modify tex
 behavior.

---
 v7/doc/make-common.in | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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)
 
-- 
2.25.1