kernel: TimingInfo to clamp -ve setup/edge-sensitive delays to zero

[yosys.git] / manual / .gitignore

diff --git a/manual/.gitignore b/manual/.gitignore
index 15063c48311b02dbd449152f504c1adf8b99a0c1..110f65b1900aa014c1664913c2919eea448c32ee 100644 (file)
--- a/manual/.gitignore
+++ b/manual/.gitignore
@@ -6,3 +6,7 @@
 *.out
 *.pdf
 *.toc
+*.snm
+*.nav
+*.vrb
+*.ok