Travis CI integration: automatic linting, rebuilding index.json, building pages archive, and little other improvements

2015-12-04 16:54:05 +02:00
parent f877d15989
commit f1d3e87069
7 changed files with 99 additions and 5 deletions
--- a/.editorconfig
+++ b/.editorconfig
@@ -10,3 +10,7 @@ insert_final_newline = true

 [*.md]
 trim_trailing_whitespace = false
+
+[Makefile]
+indent_style = tab
+indent_size = 8