equal
deleted
inserted
replaced
100 |
100 |
101 $(HTML_DIR)/iframe.html: $(RST_FILES) $(MAKEFILE_LIST) | $(HTML_DIR) |
101 $(HTML_DIR)/iframe.html: $(RST_FILES) $(MAKEFILE_LIST) | $(HTML_DIR) |
102 { \ |
102 { \ |
103 echo '<html><head><style>'; \ |
103 echo '<html><head><style>'; \ |
104 echo 'a { text-decoration: none; color: hsl(240, 100%, 50%); }'; \ |
104 echo 'a { text-decoration: none; color: hsl(240, 100%, 50%); }'; \ |
|
105 echo 'a:hover { opacity: .5; }'; \ |
105 echo '</style></head><body>'; \ |
106 echo '</style></head><body>'; \ |
106 echo '<ul style="padding-left: 1em;">'; \ |
107 echo '<ul style="padding-left: 1em;">'; \ |
107 for f in $(sort $(RST_FILES)); do \ |
108 for f in $(sort $(RST_FILES)); do \ |
108 n=$${f%.rst}; \ |
109 n=$${f%.rst}; \ |
109 printf '<li><a target="_parent" href="%s.html">%s</a></li>\n' $$n $$n; \ |
110 printf '<li><a target="_parent" href="%s.html">%s</a></li>\n' $$n $$n; \ |