ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Add a gettingstarted.html to all exporters

pull/2671/head
Jimmy Brisson 2016-09-12 10:00:17 -05:00
parent e9d0fbd178
commit d033070425
2 changed files with 17 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
tools/export/GettingStarted.html Normal file
View File

@ -0,0 +1,16 @@
<!DOCTYPE HTML>
<html lang="en-US">
<head>
<meta charset="UTF-8">
<meta http-equiv="refresh"
content="1;url="https://developer.mbed.org/handbook/Getting-Started-mbed-Exporters>
<script type="text/javascript">
window.location.href = "https://developer.mbed.org/handbook/Getting-Started-mbed-Exporters"
</script>
<title>Page Redirection</title>
</head>
<body>
If you are not redirected automatically, please follow the
<a href='https://developer.mbed.org/handbook/Getting-Started-mbed-Exporters'>link to the online exporter documentation</a>
</body>
</html>

2
tools/export/exporters.py
View File

@ -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):