mjo-misc: rename to mjo-set.

[mjotex.git] / mjo-set.tex

diff --git a/mjo-misc.tex b/mjo-set.tex
similarity index 87%
rename from mjo-misc.tex
rename to mjo-set.tex
index 24421457fab2d4a4bd474473b96bf470f221d351..6addd605537bcbb696e502347072613a25faa090 100644 (file)
--- a/mjo-misc.tex
+++ b/mjo-set.tex
@@ -1,8 +1,8 @@
 %
 % Things that fit absolutely nowhere else.
 %
-\ifx\havemjomisc\undefined
-\def\havemjomisc{1}
+\ifx\havemjoset\undefined
+\def\havemjoset{1}
 
 
 \ifx\operatorname\undefined