aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile5
-rw-r--r--web/index.txt9
2 files changed, 11 insertions, 3 deletions
diff --git a/Makefile b/Makefile
index d9b4477cd..b1a3e0113 100644
--- a/Makefile
+++ b/Makefile
@@ -315,11 +315,14 @@ $(web_dest)/: $(MAIN) html $(tarball_name)
cp ../$(deb_main) $(web_dest)/; \
cp $(tarball_name) $(web_dest)/; \
cp $(web_src)/*.css $(web_dest)/; \
+ sed -e 's#@PREFIX@#$(PREFIX)#g' $(osx_src)/Welcome > $(web_dest)/Welcome; \
+ sed -e 's/^/ /g' changelog | \
+ $(make_page) > $(web_dest)/history.html; \
$(make_page) README > $(web_dest)/README.html; \
$(make_page) INSTALL > $(web_dest)/INSTALL.html; \
- $(make_page) changelog > $(web_dest)/history.html; \
sed -e 's/@TARBALL_NAME@/$(tarball_name)/g' $(web_src)/index.txt | \
sed -e 's/@DEB_NAME@/$(deb_main)/g' | \
+ sed -e 's/@OSX_DMG_NAME@/$(osx_dmg_name)/g' | \
$(make_page) > $(web_dest)/index.html; \
) || { rm -rf $(web_dest); exit 1; }
diff --git a/web/index.txt b/web/index.txt
index 2953a81f2..8626b1854 100644
--- a/web/index.txt
+++ b/web/index.txt
@@ -16,11 +16,16 @@ or output format requires only adding a reader or writer.
For more information, see the [README](README.html) file.
-**Source distribution:** [@TARBALL_NAME@](@TARBALL_NAME@).
+**Source distribution:** [`@TARBALL_NAME@`](@TARBALL_NAME@).
To install, unpack the archive and follow the instructions in the
[INSTALL](INSTALL.html) file. You'll need the [GHC] Haskell compiler.
-**Debian binary package:** [@DEB_NAME@](@DEB_NAME@).
+**MacOS X binary package:** [`@OSX_DMG_NAME@`](@OSX_DMG_NAME@).
+To install, just double-click the package icon in the disk
+image. See the [installation notes](Welcome) for important
+information about setting your `PATH`.
+
+**Debian binary package:** [`@DEB_NAME@`](@DEB_NAME@).
To install (on x86 Debian-based linux systems only), run `dpkg -i
@DEB_NAME@` as root.