removing doctoc, which is no longer being used

Signed-off-by: Claudius <opensource@amenthes.de>
This commit is contained in:
Claudius
2019-03-31 16:19:19 +02:00
parent edf301cfa3
commit fb973d2a6f
2 changed files with 1 additions and 10 deletions

View File

@@ -30,13 +30,6 @@ jobs:
script:
- shellcheck bin/heroku bin/setup
language: generic
- env: task=doctoc
install: npm install doctoc
script:
- cp README.md README.md.orig
- npm run doctoc
- diff -q README.md README.md.orig
language: generic
- env: task=json-lint
addons:
apt: