MJOTEX = mjo-algebra.tex mjo-algorithm.tex mjo-arrow.tex mjo-calculus.tex
MJOTEX += mjo-common.tex mjo-complex.tex mjo-cone.tex mjo-convex.tex
MJOTEX += mjo-eja.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-proof_by_cases.tex mjo-set.tex mjo-theorem.tex
MJOTEX += mjo-theorem-star.tex mjo-topology.tex mjo.bst
# Compile a list of raw source code listings (*.listing) and their
.PHONY: check-sage
check-sage: $(SAGE_LISTING_DSTS)
ifdef SAGE_LISTING_DSTS
- PYTHONPATH="$(HOME)/src/sage.d" \
- sage -t --timeout=0 --memlimit=0 \
- $^
+ sage -t --timeout=0 --memlimit=0 $^
endif
# Run a suite of checks.