]> git.armaanb.net Git - chorizo.git/commitdiff
Update Makefile
authorArmaan Bhojwani <me@armaanb.net>
Mon, 7 Jun 2021 21:08:28 +0000 (17:08 -0400)
committerArmaan Bhojwani <me@armaanb.net>
Thu, 10 Jun 2021 01:25:49 +0000 (21:25 -0400)
Makefile

index 9b139a761bf8662559d8fdfe583211f288d7ad71..caf1badb7c822ebdaeffb207a043448a12822f7d 100644 (file)
--- 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