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 /netlify.toml | |
| 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 'netlify.toml')
| -rw-r--r-- | netlify.toml | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/netlify.toml b/netlify.toml new file mode 100644 index 0000000000..1643a3fccb --- /dev/null +++ b/netlify.toml @@ -0,0 +1,12 @@ +# Settings in the [build] context are global and are applied to all contexts +# unless otherwise overridden by more specific contexts. +[build] + # Directory to change to before starting a build. + base = "htmldoc/" + + # Directory (relative to root of your repo) that contains the deploy-ready + # HTML files and assets generated by the build. + publish = "htmldoc/build" + + # Default build command. + command = "./buildhtml.sh" |