Re: [darktable-dev] Cannot update .po file for usermanual

2020-07-30 Thread Maurizio Paglia
Ticket closed. Ubuntu 20.04 has no more package gnome-doc-utils in its repos! Thanks, Maurizio ___ darktable developer mailing list to unsubscribe send a mail to darktable-dev+unsubscr...@lists.darktable.org

Re: [darktable-dev] Cannot update .po file for usermanual

2020-07-29 Thread Jeronimo Pellegrini
In which directory did you try? I do it in the build/ directory, after building darktable. J. Maurizio Paglia writes: > Ho Jeronimo, > Unfortunately this is not the solution... Problem remains the same > Maurizio > > Il mer 29 lug 2020, 11:08 Jeronimo Pellegrini ha > scritto: > >> Hello Mauri

Re: [darktable-dev] Cannot update .po file for usermanual

2020-07-29 Thread Maurizio Paglia
Right! Launched ./build.sh Then cd build And then make ... Il mer 29 lug 2020, 14:13 Jeronimo Pellegrini ha scritto: > In which directory did you try? > > I do it in the build/ directory, after building darktable. > > J. > > Maurizio Paglia writes: > > > Ho Jeronimo, > > Unfortunately this

Re: [darktable-dev] Cannot update .po file for usermanual

2020-07-29 Thread Maurizio Paglia
Ho Jeronimo, Unfortunately this is not the solution... Problem remains the same Maurizio Il mer 29 lug 2020, 11:08 Jeronimo Pellegrini ha scritto: > Hello Maurizio! > > I suppose it should be "it", in lower case, no? > > make update-usermanual-it > > Does that work? > J. > > Maurizio Paglia wri