summaryrefslogtreecommitdiff
path: root/Makefile.top
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile.top')
-rw-r--r--Makefile.top2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.top b/Makefile.top
index d32a0baa204b..2fb2a7c5d1c4 100644
--- a/Makefile.top
+++ b/Makefile.top
@@ -145,6 +145,7 @@ shell\
slideshow\
smoketest\
solenv\
+soltools\
sot\
starmath\
stoc\
@@ -246,7 +247,6 @@ redland\
rhino\
saxon\
setup_native\
-soltools\
stax\
stlport\
sysui\