diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 3dcd50595f099f6e961f01ca9acbc0ffc9f6a720..d515c72244f451b1bb0c992215712dbfc5c8a27f 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -3,6 +3,7 @@ image: node:latest stages: - pages - production + - xmls pages: stage: pages @@ -15,6 +16,13 @@ pages: - public only: - master + +xmls: + - new_xmls=`git status --porcelain | grep "^A" | cut -c 4- | grep xml/` + - cd parser + - npm install + - node parseXML.js $new_xmls + - cd .. production: type: deploy diff --git a/web-pages/static-components/index.html b/web-pages/static-components/index.html index dbca64d4c0683e603552d507b8d4170cc80c41e2..999195868a3ff275e14a2cdc582ca761b0839b87 100644 --- a/web-pages/static-components/index.html +++ b/web-pages/static-components/index.html @@ -29,7 +29,6 @@ </select> </div> <div id="completion-list" class="invisible"></div> - <p id="search-legend">These XMLs may be given to hwloc to test platforms you don't have immediate access to.</p> <div id="filter"> <div id="filter-element1" class="animated fadeInRight"> @@ -77,6 +76,7 @@ <div id="content"> </div> + <p id="left-footer">These XMLs may be given to hwloc to test platforms you don't have immediate access to.</p> <a id="right-footer"href="https://gitlab.inria.fr/hwloc/xmls/tree/master/xml">Raw access to the XML repository →</a> </body> diff --git a/web-pages/static-components/style.css b/web-pages/static-components/style.css index 351c46157fc10efb018869c2de596b92f6140e42..94376fb181d4ffe0d0dba4765fc5ae23ac759139 100644 --- a/web-pages/static-components/style.css +++ b/web-pages/static-components/style.css @@ -12,6 +12,7 @@ body { padding: 20px; width: 35%; height: 60px; + margin-bottom: 1%; border-style: solid; border-radius: 30px; @@ -26,7 +27,7 @@ body { position: absolute; padding-top: 5px; left: 53%; - margin-top: -0.1%; + margin-top: -1.1%; margin-left: -16%; width: 25%; min-width: 20px; @@ -289,6 +290,15 @@ select { color: black; } +#left-footer{ + font-size: small; + color: black; + + position:fixed; + bottom: 1%; + left: 1%; +} + #right-footer{ font-size: small; font-style: italic; diff --git a/xml/test.xml b/xml/test2yml.xml similarity index 100% rename from xml/test.xml rename to xml/test2yml.xml diff --git a/xml/testyml.xml b/xml/testyml.xml new file mode 100644 index 0000000000000000000000000000000000000000..e69de29bb2d1d6434b8b29ae775ad8c2e48c5391