diff options
| author | miguel <miguel@localhost> | 2018-03-16 01:31:33 +0100 |
|---|---|---|
| committer | miguel <miguel@localhost> | 2018-03-16 01:31:33 +0100 |
| commit | f5eb896c9cceec7a85ed98cb727e605252e27fa4 (patch) | |
| tree | 7d96977a0bf5a77afeef9e5e95112367cbf1f1c4 /Makefile | |
| parent | 6d09938230f85faebe2acaf6f54496117f5dbe34 (diff) | |
mostly cosmetics
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 9 |
1 files changed, 8 insertions, 1 deletions
@@ -1,5 +1,7 @@ # surf - simple browser # See LICENSE file for copyright and license details. + +# Includes some ugly customizations by miguel (to incorporate his webext) .POSIX: include config.mk @@ -93,13 +95,18 @@ webext-clean: -rm webext-piper.o -rm webext-piper.so -superauto: +all-fresh-reinstall: make clean make webext-clean make make webext-build sudo make webext-install +all-clean: + make clean + make webext-clean + + |