From e925efe0ee1ad2276b66392da752341d2f451117 Mon Sep 17 00:00:00 2001 From: Armaan Bhojwani Date: Mon, 7 Jun 2021 17:08:28 -0400 Subject: [PATCH] Update Makefile --- Makefile | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/Makefile b/Makefile index 9b139a7..caf1bad 100644 --- a/Makefile +++ b/Makefile @@ -5,10 +5,10 @@ exec_prefix = $(prefix) bindir = $(exec_prefix)/bin libdir = $(exec_prefix)/lib datarootdir = $(prefix)/share -mandir = $(datarootdir)/man/ +mandir = $(datarootdir)/man datadir = $(prefix)/share -.PHONY: man clean uninstall install +.PHONY: man clean uninstall install extensions all: man chorizo extensions darkreader @@ -67,4 +67,8 @@ darkreader: >> user-scripts/darkreader.js clean: - rm -f chorizo we_adblock.so + rm -fv chorizo \ + extensions/*.so \ + man/*.1 \ + man/*.5 \ + user-scripts/darkreader.js -- 2.39.2