diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..2399807 --- /dev/null +++ b/.gitignore @@ -0,0 +1,2 @@ +doprava.html +index.html diff --git a/Makefile b/Makefile index 12a6ddb..13ba6a5 100644 --- a/Makefile +++ b/Makefile @@ -12,3 +12,6 @@ refresh: clean: rm -f *.html + +fail: + false diff --git a/refre.sh b/refre.sh new file mode 100755 index 0000000..a4e5096 --- /dev/null +++ b/refre.sh @@ -0,0 +1,8 @@ +#!/bin/sh +if make refresh ; then + make clean + make + echo OK +else + echo ERROR +fi