Rémi Verschelde
|
134932fb51
|
Remove currently unused intersphinx extension
Might be useful again when we start having localized docs though.
|
2016-07-01 07:29:29 +02:00 |
Daniel J. Ramirez
|
c2d53288fd
|
Added custom gdscript pygments lexer
|
2016-06-30 21:08:04 -05:00 |
Rémi Verschelde
|
e5ed8c1728
|
Rename files so that they all have uniques names
To build references in the next commit.
|
2016-02-08 22:03:07 +01:00 |
Rémi Verschelde
|
b59f0b3145
|
Use python3 instead of python for syntax highlighting
|
2016-02-08 18:24:54 +01:00 |
Rémi Verschelde
|
86563cc374
|
Import first batch of pages
|
2016-02-08 18:24:54 +01:00 |
Rémi Verschelde
|
33fe0bbde6
|
Initial Sphinx configuration
|
2015-12-12 16:58:18 +01:00 |