From 754dbc615f3ef07e02a48768b4c380c630eed740 Mon Sep 17 00:00:00 2001 From: "4 of 7 (Leah Rowe) info@minifree.org" Date: Sun, 22 Jan 2017 03:40:02 +0000 Subject: old build system: delete build/docs (a relic from GNU which we don't need) --- resources/scripts/helpers/build/docs/html-one-page | 3 --- 1 file changed, 3 deletions(-) delete mode 100755 resources/scripts/helpers/build/docs/html-one-page (limited to 'resources/scripts/helpers/build/docs/html-one-page') diff --git a/resources/scripts/helpers/build/docs/html-one-page b/resources/scripts/helpers/build/docs/html-one-page deleted file mode 100755 index c6f6fe0b..00000000 --- a/resources/scripts/helpers/build/docs/html-one-page +++ /dev/null @@ -1,3 +0,0 @@ -#!/bin/sh -e -./build docs .master $0 $@ - -- cgit v1.2.3-70-g09d2