X-Git-Url: http://gitweb.michael.orlitzky.com/?p=mjotex.git;a=blobdiff_plain;f=GNUmakefile;h=61c9eca394ae7ea3767a2c554128dc1447358d9d;hp=73d8988afbc296036c8f0ee83834914a59ce7737;hb=HEAD;hpb=c1981933d25b47513c298ffc2ebc2304d9ab237f diff --git a/GNUmakefile b/GNUmakefile index 73d8988..3669ac2 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -31,8 +31,8 @@ BIBS = local-references.bib # 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-proof_by_cases.tex mjo-set.tex mjo-theorem.tex +MJOTEX += mjo-eja.tex mjo-font.tex mjo-hurwitz.tex mjo-linear_algebra.tex +MJOTEX += mjo-listing.tex 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 @@ -197,7 +197,7 @@ check-undefined: $(PN).log .PHONY: check-sage check-sage: $(SAGE_LISTING_DSTS) ifdef SAGE_LISTING_DSTS - sage -t --timeout=0 --memlimit=0 $^ + sage -t --timeout=0 $^ endif # Run a suite of checks.