X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=makefile;h=1486a26fbff7d5d1b46f01dcf19f8f744c0987c1;hb=6442db810af2ba37e6ff4f3639543510a79aafa3;hp=57a493278a0246fab8da0daba7690b894bf1a7cd;hpb=5c1a943a2ae3886693c0361084239aef9da3551c;p=mjotex.git

diff --git a/makefile b/makefile
index 57a4932..1486a26 100644
--- a/makefile
+++ b/makefile
@@ -15,8 +15,9 @@ BIBS = references.bib
 # A space-separated list of the mjotex files that you use. The path to
 # mjotex must be contain in your $TEXINPUTS environment variable.
 MJOTEX  = mjo-algorithm.tex mjo-arrow.tex mjo-common.tex mjo-cone.tex
-MJOTEX += mjo-convex.tex mjo-font.tex mjo-linear_algebra.tex mjo-misc.tex
-MJOTEX += mjo-proof_by_cases.tex mjo-theorem.tex mjo-topology.tex
+MJOTEX += mjo-convex.tex mjo-font.tex mjo-linear_algebra.tex mjo-listing.tex
+MJOTEX += mjo-misc.tex mjo-proof_by_cases.tex mjo-theorem.tex
+MJOTEX += mjo-theorem-star.tex mjo-topology.tex
 
 # Use kpsewhich (from the kpathsea suite) to find the absolute paths
 # of the bibtex/mjotex files listed in in $(BIBS)/$(MJOTEX). The SRCS