diff --git a/tutorial/.cvsignore b/tutorial/.cvsignore index cb9c820fd1bbbf4c43950aac6de295fd98259526..000780d412d6814e4587fd3d499ca422309b1466 100644 --- a/tutorial/.cvsignore +++ b/tutorial/.cvsignore @@ -21,4 +21,5 @@ tutorial.log tutorial.mif tutorial.pdf tutorial.tex +tutorial.toc tutorial_*.html diff --git a/tutorial/.gitignore b/tutorial/.gitignore index cc2a9276021c3a6cedb2820ef1d34ea39c63cb50..cf3495dcd46bb4af2a736f8d45bb2fba62ff5aa9 100644 --- a/tutorial/.gitignore +++ b/tutorial/.gitignore @@ -21,4 +21,5 @@ /tutorial.mif /tutorial.pdf /tutorial.tex +/tutorial.toc /tutorial_*.html