diff options
author | Chris Akritidis <43294513+cakrit@users.noreply.github.com> | 2018-11-23 00:16:56 +0100 |
---|---|---|
committer | Costa Tsaousis <costa@tsaousis.gr> | 2018-11-23 01:16:56 +0200 |
commit | 1149ce32401c811a429ac1d3311f6676926e7d92 (patch) | |
tree | 0385c9df3912e00ce4cc26bcfb3d4d751bdc4f38 /.github | |
parent | cfc740a7a2e7b7236ad1378fdb7a73c281cb867e (diff) |
Sanitize headers and htmlstructure (#4713)
* Restructured html site, corrected header in REDISTRIBUTED
* Added header
* Header updates and restructuring
* Move requirements and runtime txts to htmldoc, by adding a netlify.toml that changes the base directory
* Minor corrections to support the html doc restructuring
* Debugging netlify
* Debugging netlify
* Debugging netlify
* Beautify headers, comment in buildhtml
* Beautify headers
* Sanitize headers and reorganize static html site
* Updated Makefile with moved and created htmldoc scripts
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions