diff --git a/make-includes/standard_environment.make b/make-includes/standard_environment.make
index fff2758..7a97e90 100644
--- a/make-includes/standard_environment.make
+++ b/make-includes/standard_environment.make
@@ -10,38 +10,6 @@
 #
 # Various environment variables.
 #
-# Set DRAFT to "draft" to run LaTeX in draft mode (i.e., make DRAFT=draft xxx).
-#
-DRAFT=
-#
-# Set PAPER_SIZE to an appropriate LaTeX value to change the paper size
-# (e.g., make PAPER_SIZE=letterpaper xxx).
-#
-ifndef PAPER_SIZE
-PAPER_SIZE=a4paper
-endif
-#
-# Set FONT_SIZE to an appropriate LaTeX value to change the font size
-# (e.g., make FONT_SIZE=10pt xxx).
-#
-ifndef FONT_SIZE
-FONT_SIZE=12pt
-endif
-#
-# Specify LaTeX document options (comma-separated list).
-# We need to add a comma if there is something there already!
-#
-ifdef LATEX_OPTS
-LATEX_OPTS+=,
-endif
-LATEX_OPTS+=$(FONT_SIZE),$(PAPER_SIZE),$(DRAFT)
-
-# LaTeX doesn't like white space in document class options (it basically stops
-# when it hits the first occurrence), so we need to strip these out. Unfortunately
-# this is (as many things) inordinately difficult to do within make, so let's
-# just drop out to the shell and use tr. Note use of := to avoid recursive
-# expansion.
-LATEX_OPTS:=$(shell echo "$(LATEX_OPTS)" | tr -d ' ')
 
 #
 # List of standard "phony" build targets.