summaryrefslogtreecommitdiff
path: root/manual/.gitignore
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2013-07-20 15:19:12 +0200
committerClifford Wolf <clifford@clifford.at>2013-07-20 15:19:12 +0200
commit61ed6b32d1f5fbfda9c6effdaa678092f8156bfa (patch)
tree3a53692cbd93a09eabeb67eff5e9e4ace5cf1a3e /manual/.gitignore
parent3650fd7fbe45a00792770d9ecb9397bc27ea0845 (diff)
Added Yosys Manual
Diffstat (limited to 'manual/.gitignore')
-rw-r--r--manual/.gitignore8
1 files changed, 8 insertions, 0 deletions
diff --git a/manual/.gitignore b/manual/.gitignore
new file mode 100644
index 00000000..15063c48
--- /dev/null
+++ b/manual/.gitignore
@@ -0,0 +1,8 @@
+*.aux
+*.bbl
+*.blg
+*.idx
+*.log
+*.out
+*.pdf
+*.toc