I've pushed this now.  Hopefully no one else runs into doc problems
after this.
Am Donnerstag, den 22.04.2021, 13:47 -0400 schrieb Julien Lepiller:
> LGTM! Thanks.
> 
> Le 22 avril 2021 13:29:09 GMT-04:00, Leo Prikler <
> leo.prikler@student.tugraz.at> a écrit :
> > This fixes issues with missing sources when the infos are built.
> > 
> > * doc/local.mk (TRANSLATED_INFO): Add missing documents.
> > doc/local.mk | 17 ++++++++++++++++-
> >  1 file changed, 16 insertions(+), 1 deletion(-)
> > 
> > diff --git a/doc/local.mk b/doc/local.mk
> > index 70e102bdef..d69a2feabd 100644
> > --- a/doc/local.mk
> > +++ b/doc/local.mk
> > @@ -70,18 +70,33 @@ OS_CONFIG_EXAMPLES_TEXI =			
> > \
> >    %D%/os-config-desktop.texi			\
> >    %D%/os-config-lightweight-desktop.texi
> >  
> > +# Do not forget to update these, when updating info_TEXINFOS
> >  TRANSLATED_INFO =				\
> >    %D%/guix.de.texi				\
> >    %D%/guix.es.texi				\
> > +  %D%/guix.fa.texi				\
> >    %D%/guix.fr.texi				\
> > +  %D%/guix.it.texi				\
> > +  %D%/guix.ko.texi				\
> > +  %D%/guix.pt_BR.texi				\
> >    %D%/guix.ru.texi				\
> > +  %D%/guix.sk.texi				\
> >    %D%/guix.zh_CN.texi				\
> >    %D%/contributing.de.texi			\
> >    %D%/contributing.es.texi			\
> > +  %D%/contributing.fa.texi			\
> >    %D%/contributing.fr.texi			\
> > +  %D%/contributing.it.texi			\
> > +  %D%/contributing.ko.texi			\
> > +  %D%/contributing.pt_BR.texi			\
> >    %D%/contributing.ru.texi			\
> > +  %D%/contributing.sk.texi			\
> >    %D%/contributing.zh_CN.texi			\
> > -  %D%/guix-cookbook.de.texi
> > +  %D%/guix-cookbook.de.texi			\
> > +  %D%/guix-cookbook.fa.texi			\
> > +  %D%/guix-cookbook.fr.texi			\
> > +  %D%/guix-cookbook.ko.texi			\
> > +  %D%/guix-cookbook.zh_Hans.texi
> >  
> >  # Bundle this file so that makeinfo finds it in out-of-source-tree 
> > builds.
> >  BUILT_SOURCES        += $(OS_CONFIG_EXAMPLES_TEXI)
> > $(TRANSLATED_INFO)