build/
.lia.cache
*.vos
*.vok
*.vo
.*.aux
*.glob
*.html~
soupault.conf

# begin generated files
site/posts/StronglySpecifiedFunctionsProgram.html
site/posts/MiniHTTPServer.html
site/posts/StronglySpecifiedFunctions.html
site/posts/RewritingInCoq.html
site/posts/Ltac101.html
site/news/ColorlessThemes-0.2.html
site/cleopatra/Contents.html
site/cleopatra/index.html
site/cleopatra/Bootstrap.html
site/cleopatra/Theme.html
site/cleopatra/Soupault.html
site/cleopatra/Contents/Org.html
site/cleopatra/Contents/Coq.html
site/posts/Thanks.html
site/posts/index.html
site/posts/DiscoveringCommonLisp.html
site/posts/ExtensibleTypeSafeErrorHandling.html
site/posts/MonadTransformers.html
site/style/main.css
bootstrap.mk
scripts/update-gitignore.sh
coq.mk
org.mk
scripts/packages.el
scripts/export-org.el
soupault.mk
soupault.conf
package.json
templates/history.html
plugins/external-urls.lua
plugins/urls-rewriting.lua
scripts/katex.js
scripts/history.sh
package-lock.json
theme.mk
templates/main.html
.emacs
emacs.d/
node_modules/
site/style/coq.sass
site/style/coq.sass
site/style/org.sass
site/style/plugins.sass
site/style/main.sass
build.log
# begin generated files