%% Translation of GIT committish: 6b35abe942bf1b4e709f215d3657a7cec1f4aa52
  texidocit = "
L'intervallo dei numeri di battuta può essere modificato cambiando la
funzione di contesto @code{@{set-bar-number-visibility@}}.

"
  doctitleit = "Stampare i numeri di battuta a intervalli regolari variabili"

