From 0c716503511711865ea8725cc8b0c190a51ab7cd Mon Sep 17 00:00:00 2001 From: Taylor Blau Date: Mon, 23 Jul 2018 13:42:44 -0500 Subject: [PATCH] script/man: remove outdated --- script/man | 15 --------------- 1 file changed, 15 deletions(-) delete mode 100755 script/man diff --git a/script/man b/script/man deleted file mode 100755 index 4e1c48f6..00000000 --- a/script/man +++ /dev/null @@ -1,15 +0,0 @@ -#/usr/bin/env bash -ronn=`which ronn` - -if [ -x "$ronn" ]; then - mkdir -p man - rm -rf man/*.ronn - rm -rf man/*.txt - cp docs/man/*.ronn man - cp docs/man/*.txt man - $ronn man/*.ronn - rm -rf man/*.ronn - rm -rf man/*.txt -else - echo "Install the 'ronn' ruby gem to build the man pages." -fi