diff --git a/.github/checks/Makefile b/.github/checks/Makefile index 827606d01..662477790 100644 --- a/.github/checks/Makefile +++ b/.github/checks/Makefile @@ -1,15 +1,13 @@ .PHONY: tabs -check: tabs lastline +check: tabs lastline spaces tabs: tabs.sh @./tabs.sh - + lastline: lastline.sh @./lastline.sh - -# checks that will currently fail (on a lot of files), so they are not included -# in the general "check" action + spaces: spaces.sh @./spaces.sh diff --git a/Contributing.md b/Contributing.md index c8681c7ee..6258ce523 100644 --- a/Contributing.md +++ b/Contributing.md @@ -20,7 +20,7 @@ This is an ongoing controversial topic - everyone knows that. However, the follo * No extra spaces at the end of lines. * All text files must end with new-line characters. Don't leave the last line "dangling". -The (bash) scipts used to check the above rules can be found in ```.github/check``` +The (bash) scipts used to check the above rules can be found in ```.github/check```. You can also run all checks using ```make check```. ### misc