From 32667a532b809ae70db60156e07dfdffc9abccd0 Mon Sep 17 00:00:00 2001 From: Jesse Alama Date: Wed, 31 Mar 2010 15:42:40 +0100 Subject: [PATCH] Use LINK, not STYLE. --- mkmmlindex.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mkmmlindex.pl b/mkmmlindex.pl index fe2827d..d38ef87 100755 --- a/mkmmlindex.pl +++ b/mkmmlindex.pl @@ -63,7 +63,7 @@ sub print_one_html Mizar Mathematical Library (current wiki state), Index of Identifiers -