riscv
/
coriolis
mirror of https://gitlab.lip6.fr/vlsi-eda/coriolis.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
coriolis/documentation/_build/html/_static
History
Jean-Paul Chaput 4d6b06d368 Update documentation to build on Debian 9.2 (stretch). 
* Change: In documentation/CMakeLists.txt, for add_custom_targets(),
    add_dependencies() no longer allow to give files (only others
    *target* in the sense of cmake). We must use the DEPENDS option
    of add_custom_target().
* Change: In documentation/UsersGuide, it seems that docutils no longer
    handle correctly '$' and/or '_' in verbatim in the LaTeX backend.
    (i.e. they are *not* escaped, resulting in math mode errors).
    Remove those characters as we can use others...
* Commit a snaphot of the current documentation.
 		2017-10-30 15:33:37 +01:00
..
css Remove underline on sections backlinks. 2017-07-15 18:06:12 +02:00
fonts Complete hoverhaul of the documentation to Sphinx. 2017-07-15 17:35:02 +02:00
images Complete hoverhaul of the documentation to Sphinx. 2017-07-15 17:35:02 +02:00
js Complete hoverhaul of the documentation to Sphinx. 2017-07-15 17:35:02 +02:00
SoC-ReST.css Complete hoverhaul of the documentation to Sphinx. 2017-07-15 17:35:02 +02:00
SoC.css Complete hoverhaul of the documentation to Sphinx. 2017-07-15 17:35:02 +02:00
ajax-loader.gif Complete hoverhaul of the documentation to Sphinx. 2017-07-15 17:35:02 +02:00
basic.css Update documentation to build on Debian 9.2 (stretch). 2017-10-30 15:33:37 +01:00
comment-bright.png Complete hoverhaul of the documentation to Sphinx. 2017-07-15 17:35:02 +02:00
comment-close.png Complete hoverhaul of the documentation to Sphinx. 2017-07-15 17:35:02 +02:00
comment.png Complete hoverhaul of the documentation to Sphinx. 2017-07-15 17:35:02 +02:00
doctools.js Update documentation to build on Debian 9.2 (stretch). 2017-10-30 15:33:37 +01:00
down-pressed.png Update documentation to build on Debian 9.2 (stretch). 2017-10-30 15:33:37 +01:00
down.png Update documentation to build on Debian 9.2 (stretch). 2017-10-30 15:33:37 +01:00
file.png Update documentation to build on Debian 9.2 (stretch). 2017-10-30 15:33:37 +01:00
jquery.js Update documentation to build on Debian 9.2 (stretch). 2017-10-30 15:33:37 +01:00
minus.png Update documentation to build on Debian 9.2 (stretch). 2017-10-30 15:33:37 +01:00
plus.png Update documentation to build on Debian 9.2 (stretch). 2017-10-30 15:33:37 +01:00
pygments.css Complete hoverhaul of the documentation to Sphinx. 2017-07-15 17:35:02 +02:00
searchtools.js Update documentation to build on Debian 9.2 (stretch). 2017-10-30 15:33:37 +01:00
underscore.js Update documentation to build on Debian 9.2 (stretch). 2017-10-30 15:33:37 +01:00
up-pressed.png Update documentation to build on Debian 9.2 (stretch). 2017-10-30 15:33:37 +01:00
up.png Update documentation to build on Debian 9.2 (stretch). 2017-10-30 15:33:37 +01:00
websupport.js Update documentation to build on Debian 9.2 (stretch). 2017-10-30 15:33:37 +01:00
www-SoC.css Complete hoverhaul of the documentation to Sphinx. 2017-07-15 17:35:02 +02:00