Re: help with bash script to translate @ref{} items in translated manuals

[Federico Bruni]

Il giorno ven 21 apr 2017 alle 7:08, Federico Bruni 
<address@hidden> ha scritto:
> I guess I'll have to revert to my almost manual replacement I've used 
> so far.

Or I may try a  different approach and script a replacement from a file 
like:

@ref{Different editions from one source},@ref{Edizioni diverse da un 
unico sorgente}
@ref{Dimensions},@ref{Dimensioni}
@ref{Direction and placement},@ref{Direzione e posizionamento}

that replace first instance of @ref with the second instance (after the 
comma)