diff options
Diffstat (limited to 'admin')
| -rwxr-xr-x | admin/gendoc.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/admin/gendoc.pl b/admin/gendoc.pl index 700ed23f3..74ce94291 100755 --- a/admin/gendoc.pl +++ b/admin/gendoc.pl @@ -45,7 +45,7 @@ $g_prefixes{'class'}="class"; $g_prefixes{'module'}="module"; $g_prefixes{'widget'}="widget"; -$g_version = "3.2.0.99"; +$g_version = "4.0.0"; $g_filehandle=""; $g_shortsIdx{"keyterms"}=0; $g_directory = ""; |
