diff options
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 29 |
1 files changed, 19 insertions, 10 deletions
@@ -5,32 +5,44 @@ _opam .cleopatra .emacs .lia.cache +_opam build.log -build/ +commands.mk coq.mk +dependencies.mk export-lp.el -katex.mk literate-programming.mk lp/ -node_modules/ +node_modules org.mk +out package-lock.json package.json +plugins/clean-up.lua +plugins/css.lua plugins/external-urls.lua -plugins/fix-org-urls.lua +plugins/series.lua plugins/urls-rewriting.lua +rss.json +scripts/css.sh scripts/export-org.el scripts/history.sh -scripts/katex.js scripts/packages.el +scripts/render-equations.js site/cleopatra.html +site/cleopatra/commands.html site/cleopatra/coq.html +site/cleopatra/dependencies.html site/cleopatra/literate-programming.html site/cleopatra/org.html site/cleopatra/soupault.html site/cleopatra/theme.html +site/coq.html site/files/coqffi-tutorial.tar.gz +site/haskell.html site/index.html +site/meta.html +site/miscellaneous.html site/news/ColorlessThemes-0.2.html site/opinions/MonadTransformers.html site/opinions/index.html @@ -93,13 +105,10 @@ site/posts/StronglySpecifiedFunctionsRefine.vos site/posts/Thanks.html site/posts/deps.svg site/projects/index.html -site/style/coq.sass -site/style/main.css -site/style/main.sass -site/style/org.sass -site/style/plugins.sass soupault.conf soupault.mk +style.css +style.min.css templates/history.html templates/main.html theme.mk |