CI Add generic links to _changed.html

jnothman · jnothman · commit 3e9c9cb4a5eb · 2018-01-09T11:36:06.000+11:00
diff --git a/build_tools/circle/build_doc.sh b/build_tools/circle/build_doc.sh
@@ -148,6 +148,6 @@ then
     (
     echo '<html><body><ul>'
     echo "$affected" | sed 's|.*|<li><a href="&">&</a></li>|'
-    echo '</ul></body></html>'
+    echo '</ul><p>General: <a href="index.html">Home</a> | <a href="modules/classes.html">API Reference</a> | <a href="auto_examples/index.html">Examples</a></p></body></html>'
     ) > 'doc/_build/html/stable/_changed.html'
 fi

Original file line number	Diff line number	Diff line change
`@@ -148,6 +148,6 @@ then`
`148`	`148`	`(`
`149`	`149`	`echo '<html><body><ul>'`
`150`	`150`	`echo "$affected" \| sed 's\|.*\|<li><a href="&">&</a></li>\|'`
`151`		`- echo '</ul></body></html>'`
	`151`	`+ echo '</ul><p>General: <a href="index.html">Home</a> \| <a href="modules/classes.html">API Reference</a> \| <a href="auto_examples/index.html">Examples</a></p></body></html>'`
`152`	`152`	`) > 'doc/_build/html/stable/_changed.html'`
`153`	`153`	`fi`