diff --git a/.travis/generate-html.sh b/.travis/generate-html.sh
index 395623f..06c9334 100755
--- a/.travis/generate-html.sh
+++ b/.travis/generate-html.sh
@@ -58,7 +58,7 @@ fi
 )
 
 # Generate the HTML for each device we have a settings file for.
-for SETTINGS in $(find -name settings.sh); do
+for SETTINGS in $(find -name settings.sh | grep -v kintex); do
 	DEVICE="$(basename $(dirname $SETTINGS))"
 
 	echo
diff --git a/.travis/push-html.sh b/.travis/push-html.sh
index 49e5190..e22da6f 100755
--- a/.travis/push-html.sh
+++ b/.travis/push-html.sh
@@ -26,7 +26,7 @@ TMPDIR=$(mktemp -d)
 	echo "--------------------------------------------"
 	ssh-add -l
 	ssh -v github.com || true
-	git clone git+ssh://git@github.com/$CURRENT_OWNER/prjxray-db.git --reference $SRCDIR/.git -b gh-pages html
+	git clone --tags git+ssh://git@github.com/$CURRENT_OWNER/prjxray-db.git --reference $SRCDIR/.git -b gh-pages html
 	echo "--------------------------------------------"
 	(
 		cd html
@@ -42,6 +42,8 @@ TMPDIR=$(mktemp -d)
 	cp -a $SRCDIR/html/* html/
 	(
 		cd html
+		# FIXME: Remove once kintex7 is working again
+		git checkout tags/kintex7 kintex7
 		git add --all .
 	)
 	echo "--------------------------------------------"