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
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
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
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