diff options
Diffstat (limited to 'net/unison232/files/patch-aa')
| -rw-r--r-- | net/unison232/files/patch-aa | 27 |
1 files changed, 0 insertions, 27 deletions
diff --git a/net/unison232/files/patch-aa b/net/unison232/files/patch-aa deleted file mode 100644 index a14c18bfa972..000000000000 --- a/net/unison232/files/patch-aa +++ /dev/null @@ -1,27 +0,0 @@ ---- Makefile.orig Tue Aug 28 16:27:01 2001 -+++ Makefile Wed Aug 29 09:15:09 2001 -@@ -62,12 +62,12 @@ - ###################################################################### - # Installation - --INSTALLDIR = $(HOME)/bin/ -+INSTALLDIR = ${PREFIX}/bin/ - - install: $(NAME)$(EXEC_EXT) -- -mv $(INSTALLDIR)/$(NAME)$(EXEC_EXT) /tmp/$(NAME)-$(shell echo $$$$) -+# -mv $(INSTALLDIR)/$(NAME)$(EXEC_EXT) /tmp/$(NAME)-$(shell echo $$$$) - cp $(NAME)$(EXEC_EXT) $(INSTALLDIR) -- cp $(NAME)$(EXEC_EXT) $(INSTALLDIR)$(NAME)-$(VERSION)$(EXEC_EXT) -+# cp $(NAME)$(EXEC_EXT) $(INSTALLDIR)$(NAME)-$(VERSION)$(EXEC_EXT) - @# If we're running at Penn, install a public version too - if [ -d /plclub/bin ]; then cp $(NAME)$(EXEC_EXT) /plclub/bin/$(NAME)-$(VERSION)$(EXEC_EXT); fi - -@@ -231,7 +231,7 @@ - tags: - -$(ETAGS) *.ml *.mli *.txt - --all:: TAGS -+#all:: TAGS - - TAGS: - $(MAKE) tags |