diff options
| -rw-r--r-- | Makefile | 2 | ||||
| -rw-r--r-- | web/index.txt.in (renamed from web/index.txt) | 0 |
2 files changed, 2 insertions, 0 deletions
@@ -396,6 +396,8 @@ website: $(MAIN) html mkdir $(web_dest); \ cp -r html $(web_dest)/doc; \ cp $(web_src)/* $(web_dest)/; \ + sed -e 's#@VERSION@#$(VERSION)g' $(osx_src)/index.txt.in > \ + $(web_dest)/index.txt; \ sed -e 's#@PREFIX@#$(PREFIX)#g' $(osx_src)/Welcome > \ $(web_dest)/osx-notes.txt; \ cp changelog $(web_dest)/ ; \ diff --git a/web/index.txt b/web/index.txt.in index c85af26ee..c85af26ee 100644 --- a/web/index.txt +++ b/web/index.txt.in |