It's probably about time I took my private path to the Halibut

binary out of the PuTTY docs Makefile. Instead, I expect to find
Halibut as simply `halibut' on the PATH, and anyone who doesn't have
it there can always do `make HALIBUT=/path/to/halibut'.

[originally from svn r4895]

diff --git a/doc/Makefile b/doc/Makefile
index 2c0fc2e8e2a224b217c95bba37476c1641bcb9d5..9ac45e8af122bc7156a2e6401ebc32f362729b8f 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -41,7 +41,7 @@ CHAPTERS += index $(VERSIONIDS)
 INPUTS = $(patsubst %,%.but,$(CHAPTERS))
 
 # This is temporary. Hack it locally or something.
-HALIBUT = $(HOME)/src/halibut/build/halibut
+HALIBUT = halibut
 
 index.html: $(INPUTS)
        $(HALIBUT) --text --html --winhelp $(INPUTS)