travis: Small fixes.

.travis/generate-html.sh

@@ -63,7 +63,12 @@ for SETTINGS in $(find -name settings.sh); do
 	echo
 done
 
-python3 -m markdown Info.md > html/index.html
+python3 -m markdown \
+	-x markdown.extensions.fenced_code \
+	-x markdown.extensions.tables \
+	-x markdown.extensions.codehilite \
+	-x markdown.extensions.toc \
+	Info.md > html/index.html
 
 (
 	echo

.travis/push-html.sh

@@ -34,13 +34,21 @@ TMPDIR=$(mktemp -d)
 		git log -1
 		find -type f | sort
 	)
-	rm -rf html/*
+	echo "--------------------------------------------"
 
+	echo
+	echo "Updating html"
+	echo "--------------------------------------------"
+	rm -rf html/*
 	cp -a $SRCDIR/html/* html/
 	(
 		cd html
 		git add --all .
+	)
+	echo "--------------------------------------------"
 
+	(
+		cd html
 		echo
 		echo "Committing"
 		echo "--------------------------------------------"

.travis/requirements.txt

@@ -1 +1,2 @@
 markdown
+pygments

README.md

@@ -1,9 +1,11 @@
 # Project X-Ray - Xilinx Series 7 Bitstream Documentation
 
+[[TOC]]
+
 This repo contains the bitstream documentation database for Xilinx Series 7
 devices.
 
-[HTML version of the Xilinx Series 7 BitStream is avaliable on https://symbiflow.github.io/prjxray-db](https://symbiflow.github.io/prjxray-db).
+[HTML version of the Xilinx Series 7 BitStream is available on https://symbiflow.github.io/prjxray-db](https://symbiflow.github.io/prjxray-db).
 
 This documentation was generated using the
 [Project X-Ray tools](https://github.com/SymbiFlow/prjxray).