diff options
| author | John MacFarlane <[email protected]> | 2022-09-27 18:01:34 -0700 |
|---|---|---|
| committer | John MacFarlane <[email protected]> | 2022-09-27 18:01:34 -0700 |
| commit | b5bf559766c1ac6297c0560a1dfe02e1056ac15b (patch) | |
| tree | ed620f7542056aefabaff10e49033876bd073f29 /.gitignore | |
| parent | 21bf9ae88502c8eaa22e08f1532d4db846c96be1 (diff) | |
Makefile: add weeder target.
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index ed4d2b58f..f099e845e 100644 --- a/.gitignore +++ b/.gitignore @@ -10,6 +10,7 @@ !.circleci/** !.editorconfig !.gitattributes +!.github/** !.gitignore !.hlint.yaml !.mailmap @@ -34,6 +35,7 @@ !release.nix !shell.nix !stack.yaml +!weeder.dhall !app/** !benchmark/** !citeproc/** @@ -42,6 +44,8 @@ !linux/** !macos/** !man/** +!pandoc-server/** +!pandoc-cli/** !src/** !test/** !tools/** |