Remove unused DLAGENTS line

1 files changed, 0 insertions, 3 deletions

diff --git a/PKGBUILD b/PKGBUILD
index 805aa7ffb667..35fad1b1c6e3 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -16,9 +16,6 @@ makedepends=('rpmextract')
 depends=('ncurses')
 options=(!strip)
 
-# Fail if retrieval is attempted of any of the manual:// URLs
-DLAGENTS+=('manual::/usr/bin/false');
-
 # These are the only files we want to include in the source package
 source=(launcher.sh)
 md5sums=('4fe63395dbf71d288ab459e51dcbbb80')