2 Commits

Author	SHA1	Message	Date
David B. Kinder	7dd647672c	doc: GSG formating fix, RTD theme tweak ... Fix some formatting problems with a recent GSG update. Tweak the custom CSS to adjust code block (and code literal) colors. Update Makefile to document doc build options for pulling source from the other repos and for publishing targets. Signed-off-by: David B. Kinder <david.b.kinder@intel.com>	2018-05-15 17:25:58 +08:00
David B. Kinder	b997e590f2	doc: add support for publishing versioned docs ... add navigation to (manually) maintained list (in conf.py) of versioned docs, and update generating and publishing processes to be version-aware. Adds a file to redirect root references to /latest folder now (since we can't update the server redirects). Might break some links to pages within the site from external sites. Signed-off-by: David B. Kinder <david.b.kinder@intel.com>	2018-05-15 17:25:54 +08:00