From 3a61696a5cd3c1a8cbd69b89bcf47d3bbf47a8d1 Mon Sep 17 00:00:00 2001 From: Michael Orlitzky Date: Tue, 8 Mar 2016 16:30:07 -0500 Subject: [PATCH] Fix filenames in the makefile. --- makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/makefile b/makefile index 9ae1aa8..61dbbc4 100644 --- a/makefile +++ b/makefile @@ -15,7 +15,7 @@ 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-fonts.tex mjo-theorems.tex +MJOTEX = mjo-font.tex mjo-theorem.tex # Use kpsewhich (from the kpathsea suite) to find the absolute paths # of the bibtex/mjotex files listed in in $(BIBS)/$(MJOTEX). -- 2.43.2