diff --git a/.travis.yml b/.travis.yml index 75ba367a..60eac812 100644 --- a/.travis.yml +++ b/.travis.yml @@ -32,3 +32,6 @@ jobs: script: - make format - test $(git status --porcelain | wc -l) -eq 0 || { git diff; false; } + + - name: "HTML generation" + script: make test-htmlgen diff --git a/Makefile b/Makefile index 99655453..0bb82679 100644 --- a/Makefile +++ b/Makefile @@ -56,6 +56,14 @@ test-cpp: .PHONY: test test-py test-cpp +# Run HTML test +# ------------------------ + +test-htmlgen: + cd htmlgen && source htmlgen.sh + +.PHONY: test-htmlgen + # Auto formatting of code. # ------------------------ FORMAT_EXCLUDE = $(foreach x,$(ALL_EXCLUDE),-and -not -path './$(x)/*') -and -not -name *.bit diff --git a/htmlgen/htmlgen.sh b/htmlgen/htmlgen.sh new file mode 100755 index 00000000..ad4a9cc8 --- /dev/null +++ b/htmlgen/htmlgen.sh @@ -0,0 +1,14 @@ +#!/bin/bash + +SETTINGS=../settings/* + +for setting in $SETTINGS +do + echo "" + echo "=============================================" + echo "Generating HTML for ${setting%.sh}" + echo "=============================================" + echo "" + source ../settings/$setting + ./htmlgen.py +done