10.6. Aggiornamento dei manuali

Poiché la guida web viene utilizzata per impostazione predefinita, non è necessario effettuare aggiornamenti manuali dopo gli aggiornamenti del software. ??? Vedere anche .