diff options
-rw-r--r-- | build-page | 14 |
1 files changed, 8 insertions, 6 deletions
@@ -21,12 +21,14 @@ EOF print_menu() { - echo '<div class="menu">' - <a class="menu_item" href="/index.html">Home/</a> - <a class="menu_item" href="/software/software.html">Software/</a> - <a class="menu_item" href="/wiki/wiki.html">Wiki/</a> - echo '<a class="menu_item right" href="https://git.farajli.net">Git</a>' - echo '</div>' +cat << EOF +<div class="menu"> + <a class="menu_item" href="/index.html">Home/</a> + <a class="menu_item" href="/software/software.html">Software/</a> + <a class="menu_item" href="/wiki/wiki.html">Wiki/</a> +<a class="menu_item right" href="https://git.farajli.net">Git</a> +</div> +EOF } print_copyleft() |