From c3b759e2271cf9aa48a758e5f7cae2ffc0f1f0b9 Mon Sep 17 00:00:00 2001 From: Leah Rowe Date: Tue, 20 Sep 2016 10:09:37 +0100 Subject: delete build/release/docs (we're not in GNU anymore, we don't want texinfo) --- resources/scripts/helpers/build/docs/dvi | 3 --- 1 file changed, 3 deletions(-) delete mode 100755 resources/scripts/helpers/build/docs/dvi (limited to 'resources/scripts/helpers/build/docs/dvi') diff --git a/resources/scripts/helpers/build/docs/dvi b/resources/scripts/helpers/build/docs/dvi deleted file mode 100755 index c6f6fe0b..00000000 --- a/resources/scripts/helpers/build/docs/dvi +++ /dev/null @@ -1,3 +0,0 @@ -#!/bin/sh -e -./build docs .master $0 $@ - -- cgit v1.2.3-70-g09d2