diff --git a/doc/langref.html.in b/doc/langref.html.in index a56d2fd086840f43e8a74c5bacc4044f99fa3b97..6b899a0b4fccb2310699a338e3672f86e58f06fe 100644 --- a/doc/langref.html.in +++ b/doc/langref.html.in @@ -4,7 +4,7 @@