diff --git a/doc/langref.html.in b/doc/langref.html.in index b4a364687795c5952a4bf9449a017afe3651d9d3..bd3641b8e26def9735d80c5a3571e32d85e97690 100644 --- a/doc/langref.html.in +++ b/doc/langref.html.in @@ -5,6 +5,7 @@