diff options
Diffstat (limited to 'Makefile.top')
-rw-r--r-- | Makefile.top | 2 |
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\ |