Makefile
changeset 18 2454ae5af5cc
parent 17 c7017f58585c
child 19 be271bde35fa
equal deleted inserted replaced
17:c7017f58585c 18:2454ae5af5cc
    73 HEADER.rst: Makefile
    73 HEADER.rst: Makefile
    74 	{ \
    74 	{ \
    75 echo '.. _Home: frame.html'; \
    75 echo '.. _Home: frame.html'; \
    76 echo '.. _`Home (no frame)`: index.html'; \
    76 echo '.. _`Home (no frame)`: index.html'; \
    77 echo '.. _About: http://gavenkoa.users.sourceforge.net/'; \
    77 echo '.. _About: http://gavenkoa.users.sourceforge.net/'; \
       
    78 echo '.. _Licence: README.html#tips-licence'; \
       
    79 echo '.. _`Contact`: gavenkoa@gmail.com'; \
    78 echo; \
    80 echo; \
    79 echo '[ Home_ | `Home (no frame)`_ | About_ ]'; \
    81 echo '[ Home_ | `Home (no frame)`_ | About_ | Licence_ | `Contact`_ ]'; \
    80 } >$@
    82 } >$@
    81 
    83 
    82 $(HTML_DIR)/frame-index.html: index.sh $(RST_HTML_FILES) $(MAKEFILE_LIST) | $(HTML_DIR)
    84 $(HTML_DIR)/frame-index.html: index.sh $(RST_HTML_FILES) $(MAKEFILE_LIST) | $(HTML_DIR)
    83 	./index.sh frame >$@
    85 	./index.sh frame >$@
    84 
    86