diff --git a/.hgignore b/.hgignore index 946c6cf45..33ca623b6 100644 --- a/.hgignore +++ b/.hgignore @@ -14,18 +14,7 @@ \.pcap$ \.mob$ \.routes$ -^doc/manual/manual/ -doc/manual/manual.aux -doc/manual/manual.cp -doc/manual/manual.fn -doc/manual/manual.html -doc/manual/manual.ky -doc/manual/manual.log -doc/manual/manual.pdf -doc/manual/manual.pg -doc/manual/manual.toc -doc/manual/manual.tp -doc/manual/manual.vr +^doc/manual/build ^doc/manual/figures/.*eps ^doc/manual/figures/.*pdf ^doc/manual/figures/.*png