bug#43479: Generated files ’doc/os-conf-*.texi’ and “make“

2020-09-25 Thread zimoun
Hi, On Sat, 19 Sep 2020 at 11:35, Ludovic Courtès wrote: > zimoun skribis: > >>> The reason seems to be that: >>> >>> --8<---cut here---start->8--- >>> # Bundle this file so that makeinfo finds it in out-of-source-tree builds. >>> BUILT_SOURCES+= $(OS_

bug#43479: Generated files ’doc/os-conf-*.texi’ and “make“

2020-09-19 Thread Ludovic Courtès
zimoun skribis: >> The reason seems to be that: >> >> --8<---cut here---start->8--- >> # Bundle this file so that makeinfo finds it in out-of-source-tree builds. >> BUILT_SOURCES+= $(OS_CONFIG_EXAMPLES_TEXI) $(TRANSLATED_INFO) >> EXTRA_DIST +=

bug#43479: Generated files ’doc/os-conf-*.texi’ and “make“

2020-09-18 Thread zimoun
On Fri, 18 Sep 2020 at 14:15, Ludovic Courtès wrote: > > because the 3 .texi files have to be generated first; with another > > rule. It seems expected that ‘make info’ builds the manual. > > Yeah, it’s complicated; concretely, you have to run ‘make’. Well, I am doing for such case: make RET C-

bug#43479: Generated files ’doc/os-conf-*.texi’ and “make“

2020-09-18 Thread Ludovic Courtès
Hi, zimoun skribis: > The steps: > > ./bootstrap > ./configure --localstatedir=/var/ >make info > > leads to the error: > > Making info in po/guix > make[1]: Entering directory '/home/simon/src/guix/wk/redoc/po/guix' > make[1]: Nothing to be done for 'info'. > make[1]: Leaving directory

bug#43479: Generated files ’doc/os-conf-*.texi’ and “make“

2020-09-17 Thread zimoun
Dear, The steps: ./bootstrap ./configure --localstatedir=/var/ make info leads to the error: --8<---cut here---start->8--- Making info in po/guix make[1]: Entering directory '/home/simon/src/guix/wk/redoc/po/guix' make[1]: Nothing to be done for 'info'