Makefile
changeset 1337 2bd47e0a87fa
parent 1334 9bf0d5a1f0cf
child 1338 4e268948ba99
equal deleted inserted replaced
1336:80c5eff010a1 1337:2bd47e0a87fa
    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