From: Ben Pfaff Date: Fri, 11 Oct 2019 03:48:14 +0000 (+0000) Subject: Update gitignore. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=caee2a5c4b0cb94f6bb87d02c0ccad76c131061f;p=pspp Update gitignore. --- diff --git a/build-aux/.gitignore b/build-aux/.gitignore new file mode 100644 index 0000000000..390652465d --- /dev/null +++ b/build-aux/.gitignore @@ -0,0 +1 @@ +/libtool-reloc diff --git a/doc/.gitignore b/doc/.gitignore index 2e9fd1a4a9..5605f8b4a4 100644 --- a/doc/.gitignore +++ b/doc/.gitignore @@ -15,6 +15,7 @@ pspp*.vr pspp*.vrs pspp-dev.info pspp-dev.info-* +pspp.html pspp.info pspp.info-* pspp.xml diff --git a/doc/manual/.gitignore b/doc/manual/.gitignore new file mode 100644 index 0000000000..524b61ed3b --- /dev/null +++ b/doc/manual/.gitignore @@ -0,0 +1,5 @@ +pspp.dvi.gz +pspp.info.tar.gz +pspp.pdf +pspp.txt +pspp.txt.gz