-@ifset web_version
- @c make the box:
-@divId{latestVersion}
-@subheading Link rapidi
-
-@c TODO: javascript to detect OS and suggest download?
-
-@subsubheading Stabile
-
-@ref{Download, Download @versionStable}
-
-@ref{Manuali, Manuali @versionStable}
-
-@subsubheading Instabile
-
-@ref{Sviluppo, Download @versionDevel}
-
-@ref{Sviluppo, Manuali @versionDevel}
-
-@divEnd
-@end ifset