maint: add files generated by 'make ps' to .gitignore

* doc/.gitignore (/coreutils.ps, /coreutils.t2d/): Add entries.

diff --git a/doc/.gitignore b/doc/.gitignore
index 5ce61cc1e868647b2536a2c42752e02896e9e836..8da57e6f9660f9b556ab7886e672e32f6ed12411 100644 (file)
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -13,6 +13,8 @@
 /coreutils.op
 /coreutils.pdf
 /coreutils.pg
+/coreutils.ps
+/coreutils.t2d/
 /coreutils.t2p/
 /coreutils.toc
 /coreutils.tp