Dave Page
|
0e5ea58294
|
Ensure builtins.SERVER_MODE is present so the docs build cleanly.
|
2017-08-25 11:19:27 +01:00 |
|
Dave Page
|
615882e1ee
|
Proper doc styling.
|
2016-06-08 10:21:30 +01:00 |
|
Dave Page
|
574f81f9fa
|
Try a doc theme that looks more like pgAdmin.
|
2016-05-18 21:55:54 -04:00 |
|
Dave Page
|
4d47e23c89
|
Get the configuration for the documentation from the main web app.
|
2016-05-17 13:20:02 -04:00 |
|
Dave Page
|
50c134c4f1
|
Use a 2 part version number. We never used the first digit in 13 years of pgAdmin 3.
|
2016-05-17 13:10:18 -04:00 |
Ashesh Vashi
|
7f8ebb01d8
|
Update document for the develpers as per current implementation
|
2015-10-20 13:00:05 +05:30 |
|
Dave Page
|
39089cca21
|
Add a Sphinx based help system, and include some initial docs on development.
|
2015-02-23 10:51:47 +00:00 |