Makefile
changeset 20 c5c5310057d1
parent 19 be271bde35fa
child 21 95ea6db23736
equal deleted inserted replaced
19:be271bde35fa 20:c5c5310057d1
    70 $(HTML_DIR)/%.html: %.rst HEADER.rst rst.css $(MAKEFILE_LIST) | $(HTML_DIR)
    70 $(HTML_DIR)/%.html: %.rst HEADER.rst rst.css $(MAKEFILE_LIST) | $(HTML_DIR)
    71 	$(RST2HTML) $(RST_FLAGS) --stylesheet=rst.css $*.rst $@
    71 	$(RST2HTML) $(RST_FLAGS) --stylesheet=rst.css $*.rst $@
    72 
    72 
    73 HEADER.rst: Makefile
    73 HEADER.rst: Makefile
    74 	{ \
    74 	{ \
    75 echo '.. _Home: frame.html'; \
    75 echo '.. _`Home`: index.html'; \
    76 echo '.. _`Home (no frame)`: index.html'; \
       
    77 echo '.. _About: http://gavenkoa.users.sourceforge.net/'; \
    76 echo '.. _About: http://gavenkoa.users.sourceforge.net/'; \
    78 echo '.. _Licence: README.html#tips-licence'; \
    77 echo '.. _Licence: README.html#tips-licence'; \
    79 echo '.. _`Contact`: gavenkoa@gmail.com'; \
    78 echo '.. _`Contact`: gavenkoa@gmail.com'; \
    80 echo; \
    79 echo; \
    81 echo '[ Home_ | `Home (no frame)`_ | About_ | Licence_ | `Contact`_ ]'; \
    80 echo '[ Home_ | About_ | Licence_ | `Contact`_ ]'; \
    82 echo; \
    81 echo; \
    83 echo 'Written by Oleksandr Gavenko, compiled at *'`date +%F`'* from rev *'`hg id -i`'*.'; \
    82 echo 'Written by Oleksandr Gavenko, compiled at ``'`date +%F`'`` from rev ``'`hg id -i`'``.'; \
    84 } >$@
    83 } >$@
    85 
    84 
    86 $(HTML_DIR)/frame-index.html: index.sh $(RST_HTML_FILES) $(MAKEFILE_LIST) | $(HTML_DIR)
    85 $(HTML_DIR)/frame-index.html: index.sh $(RST_HTML_FILES) $(MAKEFILE_LIST) | $(HTML_DIR)
    87 	./index.sh frame >$@
    86 	./index.sh frame >$@
    88 
    87