diff --git a/man/.gitignore b/man/.gitignore index c39e88496c5..b72a66f88fb 100644 --- a/man/.gitignore +++ b/man/.gitignore @@ -12,3 +12,6 @@ *.vrs *.vr *.dvi +*.ps +*.tp +*.tps