Makefile
changeset 59 92285d7eb0c5
parent 58 5b43a62970a6
child 60 387dd3541a06
equal deleted inserted replaced
58:5b43a62970a6 59:92285d7eb0c5
    91 
    91 
    92 HEADER.rst: Makefile
    92 HEADER.rst: Makefile
    93 	{ \
    93 	{ \
    94 echo '.. _`Home`: index.html'; \
    94 echo '.. _`Home`: index.html'; \
    95 echo '.. _About: README.html'; \
    95 echo '.. _About: README.html'; \
    96 echo '.. _`About author`: https://resume.defun.work/'; \
    96 echo '.. _`About author`: http://resume.defun.work/'; \
    97 echo '.. _`Oleksandr Gavenko`: https://resume.defun.work/'; \
    97 echo '.. _`Oleksandr Gavenko`: http://resume.defun.work/'; \
    98 echo '.. _`gavenkoa`: https://resume.defun.work/'; \
    98 echo '.. _`gavenkoa`: http://resume.defun.work/'; \
    99 echo '.. _Licence: README.html#tips-licence'; \
    99 echo '.. _Licence: README.html#tips-licence'; \
   100 echo '.. _`Contact`: gavenkoa@gmail.com'; \
   100 echo '.. _`Contact`: gavenkoa@gmail.com'; \
   101 echo; \
   101 echo; \
   102 echo '[ Home_ | About_ | Licence_ | `About author`_ | `Contact`_ ]'; \
   102 echo '[ Home_ | About_ | Licence_ | `About author`_ | `Contact`_ ]'; \
   103 echo; \
   103 echo; \