diff --git a/tools/export/GettingStarted.html b/tools/export/GettingStarted.html new file mode 100644 index 0000000000..e5d8f40524 --- /dev/null +++ b/tools/export/GettingStarted.html @@ -0,0 +1,16 @@ + + + + + + + Page Redirection + + + If you are not redirected automatically, please follow the + link to the online exporter documentation + + diff --git a/tools/export/exporters.py b/tools/export/exporters.py index c3b381547c..a0f11057ca 100644 --- a/tools/export/exporters.py +++ b/tools/export/exporters.py @@ -71,7 +71,7 @@ class Exporter(object): jinja_loader = FileSystemLoader(os.path.dirname(os.path.abspath(__file__))) self.jinja_environment = Environment(loader=jinja_loader) self.resources = resources - self.generated_files = [] + self.generated_files = [join(self.TEMPLATE_DIR,"GettingStarted.html")] self.builder_files_dict = {} def get_toolchain(self):