diff options
| author | davidovski <david@davidovski.xyz> | 2022-05-27 18:34:26 +0100 |
|---|---|---|
| committer | davidovski <david@davidovski.xyz> | 2022-05-27 18:34:26 +0100 |
| commit | 4615385d6c8203001962a7a31dd02cdb1a73544b (patch) | |
| tree | 0ff0ea93838f9c39ee5a09066ad05d9567e31437 /repo/system/openjdk11/openjdk11-doc.xibuild | |
| parent | 7b0628f037dcbf85cfb381d5e05dea39a2059d33 (diff) | |
added tor
Diffstat (limited to 'repo/system/openjdk11/openjdk11-doc.xibuild')
| -rw-r--r-- | repo/system/openjdk11/openjdk11-doc.xibuild | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/repo/system/openjdk11/openjdk11-doc.xibuild b/repo/system/openjdk11/openjdk11-doc.xibuild deleted file mode 100644 index cf02337..0000000 --- a/repo/system/openjdk11/openjdk11-doc.xibuild +++ /dev/null @@ -1,9 +0,0 @@ -#!/bin/sh - -DESC="$DESC (JDK)" - -DEPS="musl openjdk11-jmods openjdk11-jre openjdk11-jre-headless" - -package () { - add_from_main $java_home/man -} |