diff --git a/doc/langref.html.in b/doc/langref.html.in index 125bdaa36b7a3c9142de8e6250f9bdcb1bb4fc8b..9fbdb086763b525881a45a52bf4643999c1cd603 100644 --- a/doc/langref.html.in +++ b/doc/langref.html.in @@ -8,7 +8,7 @@