Fix filenames in the makefile.

diff --git a/makefile b/makefile
index 9ae1aa87fd2ab4eae7e42b8c23813b2ad877bef4..61dbbc412ed7572f614585e6117bed4d7fb119a9 100644 (file)
--- 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).