Close link element in footer (#3)

xavierleroy · Dec 13, 2018 · 3e0b12e · 3e0b12e
1 parent df4611d
commit 3e0b12e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/coq2html.footer b/coq2html.footer
@@ -1,4 +1,4 @@
 </div>
-<div class="footer"><hr/>Generated by <a href="https://github.com/xavierleroy/coq2html/">coq2html</div>
+<div class="footer"><hr/>Generated by <a href="https://github.com/xavierleroy/coq2html/">coq2html</a></div>
 </body>
 </html>