7 Commits

Author	SHA1	Message	Date
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