Makefile
changeset 1340 7e7fc9c30158
parent 1338 4e268948ba99
child 1341 e45ca3c87690
--- a/Makefile	Fri Jul 13 23:45:47 2012 +0300
+++ b/Makefile	Fri Jul 13 23:49:14 2012 +0300
@@ -72,15 +72,14 @@
 
 HEADER.rst: Makefile
 	{ \
-echo '.. _Home: frame.html'; \
-echo '.. _`Home (no frame)`: index.html'; \
+echo '.. _`Home`: index.html'; \
 echo '.. _About: http://gavenkoa.users.sourceforge.net/'; \
 echo '.. _Licence: README.html#tips-licence'; \
 echo '.. _`Contact`: gavenkoa@gmail.com'; \
 echo; \
-echo '[ Home_ | `Home (no frame)`_ | About_ | Licence_ | `Contact`_ ]'; \
+echo '[ Home_ | About_ | Licence_ | `Contact`_ ]'; \
 echo; \
-echo 'Written by Oleksandr Gavenko, compiled at *'`date +%F`'* from rev *'`hg id -i`'*.'; \
+echo 'Written by Oleksandr Gavenko, compiled at ``'`date +%F`'`` from rev ``'`hg id -i`'``.'; \
 } >$@
 
 $(HTML_DIR)/frame-index.html: index.sh $(RST_HTML_FILES) $(MAKEFILE_LIST) | $(HTML_DIR)