diff --git a/.gitignore b/.gitignore index db47ad70e9608afa590a8bd9f84e112b8d57b752..4b4c6da2a008f06522285983f3c62cb45d0b0eb6 100644 --- a/.gitignore +++ b/.gitignore @@ -1,3 +1,5 @@ *.vo *.v.d *.glob +guide +html