diff options
| author | Leah Rowe <info@minifree.org> | 2016-09-20 10:09:37 +0100 |
|---|---|---|
| committer | Leah Rowe <info@minifree.org> | 2016-09-20 10:09:37 +0100 |
| commit | c3b759e2271cf9aa48a758e5f7cae2ffc0f1f0b9 (patch) | |
| tree | d1b5d8a1eee222c702571c7d8cbbe81c3d789160 /resources/scripts/helpers/build/docs/dvi | |
| parent | b50e80a683d4707bdec1a0bc37069c8edb152a9f (diff) | |
| download | librebootfr-c3b759e2271cf9aa48a758e5f7cae2ffc0f1f0b9.tar.gz librebootfr-c3b759e2271cf9aa48a758e5f7cae2ffc0f1f0b9.zip | |
delete build/release/docs (we're not in GNU anymore, we don't want texinfo)
Diffstat (limited to 'resources/scripts/helpers/build/docs/dvi')
| -rwxr-xr-x | resources/scripts/helpers/build/docs/dvi | 3 |
1 files changed, 0 insertions, 3 deletions
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 $@ - |