makefile: add a "monthly' target to run periodic maintenance tasks

pull/1723/head
nodiscc 2019-06-23 16:39:00 +02:00
parent 53730d7052
commit 3e99a50870
1 changed files with 2 additions and 0 deletions

View File

@ -4,6 +4,8 @@ all: checks
checks: nolicenselanguage nofullstop longdescriptions syntaxerrors
monthly: checks check_github_commit_dates contrib
noexternallink:
@echo -e "\nLines with no source/demo/other link:"
@sed -n -e '/BEGIN SOFTWARE LIST/,/END SOFTWARE LIST/ p' README.md | egrep '^ *\* ' | egrep --color=always '[a-z\.] `'