From eceb1437726a1fae5280ec57bb35a8065996e21d Mon Sep 17 00:00:00 2001 From: "Haelwenn (lanodan) Monnier" Date: Tue, 22 Feb 2022 00:29:50 +0100 Subject: Move linting to own `lint` target --- configure | 8 +------- 1 file changed, 1 insertion(+), 7 deletions(-) (limited to 'configure') diff --git a/configure b/configure index d4d98e6..1a654ed 100755 --- a/configure +++ b/configure @@ -33,13 +33,7 @@ Variables: Variables are set in the following order: Default, Environment, Arguments -Dependencies: -- gtk+-3.0 -- libxml-2.0 -- webkit2gtk-4.1 version >=${min_webkitgtk} or webkit2gtk-4.0 version >=${min_webkitgtk} -- libsoup-2.4 or glib-2.0 version >=${min_glib_guri} -- mandoc: for linting the manual page (optional, test dep) -- shellcheck: for linting ./configure (optional, test dep) +Dependencies: See README.md END } -- cgit v1.3.1-23-gd82d