diff --git a/docs/cmu-user/.cvsignore b/docs/cmu-user/.cvsignore index 80285919532c6a559a156dc7e9d7ab86741111e4..f6773e158adffd3edcc96f05cdc7650ef5fcc6f4 100644 --- a/docs/cmu-user/.cvsignore +++ b/docs/cmu-user/.cvsignore @@ -17,3 +17,9 @@ *.vnd cmu-user-html.tgz cmu-user-letter.ps +cmu-user.haux +cmu-user.hcnd +cmu-user.hfnd +cmu-user.htnd +cmu-user.htoc +cmu-user.hvnd