Makefile: Create dummy PuTTY `Default%20Settings' file.

Because of an ill-advised and mostly-reverted change, PuTTY ignores
boolean settings from X resources unless this file exists, so make sure
that it does.  Because that file used to be maintained here, it might
be a dangling symlink, which is no good: notice this and create an
empty file instead.

diff --git a/Makefile b/Makefile
index 29359c000128daab370cd4a4a10f66da7a7cfc44..15a6703962c4bccc9a0e681da6c0d638cf8ed951 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -356,6 +356,12 @@ DOTCPP                     += .Xdefaults
 Xdefaults_DEFS          = -DEMACSWD=$(call mdw-conf,emacs-width,77)
 $(HOME)/.Xdefaults: $(HOME)/.mdw.conf dot/Xdefaults.pterm
 
+all: | $(HOME)/.putty/sessions/Default%20Settings
+$(HOME)/.putty/sessions/Default\%20Settings: | $$(dir $$@)
+       $(call v_tag,TOUCH)\
+               if [ ! -f $@ ]; then rm -f $@; fi && \
+               touch $@
+
 ifeq ($(shell case $${DISPLAY-nil} in (:[0-9]*) echo t ;; (*) echo nil ;; esac),t)
 dotfile-hook/.Xdefaults = \
        $(call v_tag,XRDB)xrdb -load $<