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>
This commit is contained in:
David B. Kinder
2018-05-04 09:41:59 -07:00
committed by Jack Ren
parent c3b1d0c436
commit 7dd647672c
4 changed files with 34 additions and 15 deletions

View File

@@ -5,6 +5,6 @@
<meta name="keywords" content="automatic redirection">
</head>
<body>
Please visit the <a href="/latest/">latest ARCN documentation</a>
Please visit the <a href="/latest/">latest ACRN documentation</a>
</body>
</html>