diff options
author | Sebastian Kuzminsky <seb@highlab.com> | 2016-02-29 09:23:42 -0700 |
---|---|---|
committer | Sebastian Kuzminsky <seb@highlab.com> | 2016-04-04 11:50:33 -0600 |
commit | 5f5881b35f90256d5fe4a6ffed93aa86956267f8 (patch) | |
tree | 59c7d36250e50ebd9db378c880500595f9ccbe9b /debian/yosys-doc.docs | |
parent | 48afb5dab1492a3f283522e469faeaa9cb1d7623 (diff) |
add yosys-doc
Include the "manual" and "presentation" pdfs in yosys-doc.deb.
Don't compress the pdf docs.
Diffstat (limited to 'debian/yosys-doc.docs')
-rw-r--r-- | debian/yosys-doc.docs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/debian/yosys-doc.docs b/debian/yosys-doc.docs new file mode 100644 index 00000000..5456b0c4 --- /dev/null +++ b/debian/yosys-doc.docs @@ -0,0 +1,2 @@ +manual/presentation.pdf +manual/manual.pdf |