diff options
author | Adin Scannell <ascannell@google.com> | 2019-11-18 13:40:27 -0800 |
---|---|---|
committer | Adin Scannell <ascannell@google.com> | 2020-04-21 12:00:59 -0700 |
commit | 957e26a6f30d40e2bff042d76a327d0a2cfbabae (patch) | |
tree | 3e95d46355585ae4661de5cef30cdca72a7c94bb /website/.gitignore | |
parent | dc2f198866c5fd8162a79978eb3633975d3ba11f (diff) |
Move website to a simpler jekyll-based template
This will allow us to merge the site into the main repository.
This merge allows the documentation to be kept up-to-date and
synchronized with the main project. Builds will be triggered on any
update, removing the need for the cron-based reploy.
Diffstat (limited to 'website/.gitignore')
-rw-r--r-- | website/.gitignore | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/website/.gitignore b/website/.gitignore new file mode 100644 index 000000000..111c9261f --- /dev/null +++ b/website/.gitignore @@ -0,0 +1,6 @@ +_site +node_modules +content/docs/user_guide/compatibility/linux/ +content/.jekyll-cache/ +syscalls.json +.sass-cache/ |