diff options
| author | Thomas Letan <lthms@soap.coffee> | 2020-02-26 19:16:22 +0100 |
|---|---|---|
| committer | Thomas Letan <lthms@soap.coffee> | 2020-02-26 19:16:22 +0100 |
| commit | 5945bc80300f5504403ffe533dc60bfc95762695 (patch) | |
| tree | e0655d4ea120a6d3af9193d1cda241a6809f9a3d /.gitignore | |
| parent | Allow cleopatra to create missing directories (diff) | |
Introduce a notion of dependency between generation processes
The chain of generation processes is now divided into three
well-identified stages. The order of definition of generation
processes is no longer important.
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 73 |
1 files changed, 36 insertions, 37 deletions
@@ -1,57 +1,56 @@ + +# begin generated files +build.log +site/style/main.css +site/style/main.sass build/ -.lia.cache -*.vos -*.vok *.vo +*.vok +*.vos .*.aux *.glob -*.html~ -soupault.conf - -# begin generated files -site/posts/StronglySpecifiedFunctionsProgram.html -site/posts/MiniHTTPServer.html -site/posts/StronglySpecifiedFunctions.html +.lia.cache site/posts/RewritingInCoq.html +site/posts/StronglySpecifiedFunctions.html site/posts/Ltac101.html +site/posts/StronglySpecifiedFunctionsProgram.html +site/posts/MiniHTTPServer.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/cleopatra/Contents/Org.html +site/cleopatra/Bootstrap.html +site/cleopatra/Contents.html +site/cleopatra/index.html site/posts/ExtensibleTypeSafeErrorHandling.html +site/posts/DiscoveringCommonLisp.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 +site/posts/Thanks.html +site/posts/index.html +*.html~ +theme.mk +templates/main.html +site/style/main.sass +package-lock.json +node_modules/ soupault.mk soupault.conf -package.json -templates/history.html -plugins/external-urls.lua plugins/urls-rewriting.lua -scripts/katex.js +plugins/external-urls.lua +site/style/plugins.sass scripts/history.sh -package-lock.json -theme.mk -templates/main.html +templates/history.html +package.json +scripts/katex.js +coq.mk +site/style/coq.sass .emacs emacs.d/ -node_modules/ -site/style/coq.sass -site/style/coq.sass +org.mk +scripts/packages.el +scripts/export-org.el site/style/org.sass -site/style/plugins.sass -site/style/main.sass -build.log +bootstrap.mk +scripts/update-gitignore.sh # begin generated files |