diff options
Diffstat (limited to 'config.md')
-rw-r--r-- | config.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/config.md b/config.md index 077fcfb..a77b1f7 100644 --- a/config.md +++ b/config.md @@ -7,8 +7,8 @@ website_url = "https://cnx.srht.site" date_format = "yyyy-mm-dd" mintoclevel = 2 generate_rss = true -ignore = [".build.jl", ".build.yml", "Manifest.toml", "Project.toml", - "node_modules/", "package-lock.json", "shell.nix"] +ignore = [".builds/", "Manifest.toml", "Project.toml", + "node_modules/", "package-lock.json"] +++ \newcommand{\R}{\mathbb R} |