equal
deleted
inserted
replaced
77 echo '.. _About: http://gavenkoa.users.sourceforge.net/'; \ |
77 echo '.. _About: http://gavenkoa.users.sourceforge.net/'; \ |
78 echo '.. _Licence: README.html#tips-licence'; \ |
78 echo '.. _Licence: README.html#tips-licence'; \ |
79 echo '.. _`Contact`: gavenkoa@gmail.com'; \ |
79 echo '.. _`Contact`: gavenkoa@gmail.com'; \ |
80 echo; \ |
80 echo; \ |
81 echo '[ Home_ | `Home (no frame)`_ | About_ | Licence_ | `Contact`_ ]'; \ |
81 echo '[ Home_ | `Home (no frame)`_ | About_ | Licence_ | `Contact`_ ]'; \ |
|
82 echo; \ |
|
83 echo 'Written by Oleksandr Gavenko, compiled at *'`date +%F`'* from rev *'`hg id -i`'*.'; \ |
82 } >$@ |
84 } >$@ |
83 |
85 |
84 $(HTML_DIR)/frame-index.html: index.sh $(RST_HTML_FILES) $(MAKEFILE_LIST) | $(HTML_DIR) |
86 $(HTML_DIR)/frame-index.html: index.sh $(RST_HTML_FILES) $(MAKEFILE_LIST) | $(HTML_DIR) |
85 ./index.sh frame >$@ |
87 ./index.sh frame >$@ |
86 |
88 |