diff options
author | Tom Ryder <tom@sanctum.geek.nz> | 2018-11-22 20:43:26 +1300 |
---|---|---|
committer | Tom Ryder <tom@sanctum.geek.nz> | 2018-11-22 20:44:32 +1300 |
commit | ef5d7eb9f59ae54b6f5a208eb0b63f6cd6e06647 (patch) | |
tree | a152813188583117bd802d6a6c72e8299c907448 /Makefile | |
parent | Merge branch 'release/v1.73.0' into develop (diff) | |
download | dotfiles-ef5d7eb9f59ae54b6f5a208eb0b63f6cd6e06647.tar.gz dotfiles-ef5d7eb9f59ae54b6f5a208eb0b63f6cd6e06647.zip |
Add a dillorc file
I'm using this browser on an old ThinkPad. Firefox runs, but it's slow,
and lately I'm spending a lot of time on sites that don't require
JavaScript or anything like that. Let's see how this goes.
The `save_dir` doesn't accept tildes in it as a shorthand for the home
directory, so I've had to template it with mi5->m4.
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 12 |
1 files changed, 12 insertions, 0 deletions
@@ -9,6 +9,7 @@ install-bin \ install-bin-man \ install-curl \ + install-dillo \ install-dunst \ install-ex \ install-finger \ @@ -266,6 +267,8 @@ clean distclean: $(BINS_M4) \ $(BINS_SH) \ $(GAMES) \ + dillo/dillorc \ + dillo/dillorc.m4 \ git/gitconfig \ git/gitconfig.m4 \ gnupg/gpg.conf \ @@ -312,6 +315,11 @@ bin/tlcs.sh: bin/tlcs.m4 include/mktd.m4 bin/try.sh: bin/try.m4 include/mktd.m4 bin/urlc.sh: bin/urlc.m4 include/mktd.m4 +dillo/dillorc: dillo/dillorc.m4 + m4 \ + -D HOME=$(HOME) \ + dillo/dillorc.m4 > $@ + git/gitconfig: git/gitconfig.m4 m4 \ -D NAME=$(NAME) \ @@ -371,6 +379,10 @@ install-bin-man: install-curl: cp -p -- curl/curlrc $(HOME)/.curlrc +install-dillo: dillo/dillorc install-x + mkdir -p -- $(HOME)/.dillo + cp -p -- dillo/dillorc $(HOME)/.dillo/dillorc + install-dunst: install-x mkdir -p -- $(HOME)/.config/dunst cp -p -- dunst/dunstrc $(HOME)/.config/dunst |