summaryrefslogtreecommitdiffstats
path: root/.gitignore
diff options
context:
space:
mode:
authorThomas Letan <lthms@soap.coffee>2020-02-15 15:38:47 +0100
committerThomas Letan <lthms@soap.coffee>2020-02-15 15:41:53 +0100
commitd173e77712917fdb9f76995cc9ac9b857965aaf9 (patch)
treeafc78e1cefc42ec7805a3d32e075ead603b8da5c /.gitignore
parentc1493078e3ff16db8175a0da0439ca0aeb3f5422 (diff)
Make the website 3rd-party free and improve loading performance
- Use webp in place of a regular png - Lazy loading of CSS files (compatible with javascript-less browsers) - KaTeX in place of MathJax - Minified CSS (using sass) - Vendoring fonts, scripts, and CSS.
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore11
1 files changed, 6 insertions, 5 deletions
diff --git a/.gitignore b/.gitignore
index 9d9e78e..dd04541 100644
--- a/.gitignore
+++ b/.gitignore
@@ -8,13 +8,14 @@ build/
*.html~
# begin generated files
-site/posts/ExtensibleTypeSafeErrorHandling.html
+site/posts.html
site/posts/DiscoveringCommonLisp.html
+site/posts/ExtensibleTypeSafeErrorHandling.html
site/posts/MonadTransformers.html
-site/posts.html
-site/posts/RewritingInCoq.html
-site/posts/StronglySpecifiedFunctions.html
-site/posts/Ltac101.html
site/posts/StronglySpecifiedFunctionsProgram.html
site/posts/MiniHTTPServer.html
+site/posts/StronglySpecifiedFunctions.html
+site/posts/RewritingInCoq.html
+site/posts/Ltac101.html
+site/style/main.css
# begin generated files