diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2020-07-24 15:48:40 +0200 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2020-07-24 15:48:40 +0200 |
| commit | 1308c8404e19aacc6458b3813d445857620a60a8 (patch) | |
| tree | 78f64ccd6f05b29991e74fccfa1d9d22bfaa91b2 /.gitignore | |
| parent | 05a282295f3d454c811f9bdd9b755f6a5c07c190 (diff) | |
Remove DocBook manual
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/.gitignore b/.gitignore index 983026570..d456d7da3 100644 --- a/.gitignore +++ b/.gitignore @@ -22,14 +22,9 @@ perl/Makefile.config /corepkgs/nar/unnar.sh # /doc/manual/ -/doc/manual/manual.html -/doc/manual/manual.xmli -/doc/manual/manual.pdf -/doc/manual/manual.is-valid /doc/manual/*.1 /doc/manual/*.5 /doc/manual/*.8 -/doc/manual/version.txt # /scripts/ /scripts/nix-profile.sh |