diff options
author | KrystalDelusion <93062060+KrystalDelusion@users.noreply.github.com> | 2022-11-25 03:56:44 +1300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-11-24 15:56:44 +0100 |
commit | b9b5899cceb392c0069345c5b43c37bfe8346116 (patch) | |
tree | 557cb31d96b2224891c7ed37a9b25d3d8caa7d2e /docs/.gitignore | |
parent | fc2f622a27dbc604a4acce68bea8c20b208c1742 (diff) | |
download | yosys-b9b5899cceb392c0069345c5b43c37bfe8346116.tar.gz yosys-b9b5899cceb392c0069345c5b43c37bfe8346116.tar.bz2 yosys-b9b5899cceb392c0069345c5b43c37bfe8346116.zip |
Remove docs dependency on yosys repo (#3558)
* Copies guidelines files into docs/ for website
* Copying manual/CHAPTER_Prog for new docs
* Copying manual/APPNOTE_011... for new docs
Also adding faketime to list of packages for website build.
Co-authored-by: KrystalDelusion <krystinedawn@yosyshq.com>
Diffstat (limited to 'docs/.gitignore')
-rw-r--r-- | docs/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/.gitignore b/docs/.gitignore index 26645e4cb..e36f2309a 100644 --- a/docs/.gitignore +++ b/docs/.gitignore @@ -1,5 +1,6 @@ /build/ /source/cmd +/source/temp /images/*.log /images/*.aux /images/*.pdf |