package doc
- Alphabetic
- Public
- All
Type Members
-
class
Setup extends ShellExtension
creates folder structure and a few files for MMT
creates folder structure and a few files for MMT
if run without arguments: asks for root folder and creates folders systems/MMT and content/MathHub, installs jEdit plugin if jEdit found if run with arguments: fine-tuning of systems, content, and jEdit folder
if run from downloaded mmt.jar: creates the same folders, copies mmt.jar into systems/MMT/deploy, extracts files from resources/setup if run in any other way, in particular after cloning and building MMT: creates the same folders, configures sbt
In all cases, the MMT folder has the same structure
Value Members
-
object
AdjustScaladoc
AdjustScaladoc C:\MMT replaces the generated source links in the scaladoc with relative paths
-
object
MakeTOC
An auxiliary application for generating the documentation web site.
An auxiliary application for generating the documentation web site. It lists the folder passed as its first argument and writes it out as an html snippet.