[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: zimoun
Subject: bug#43479: Generated files ’doc/os-conf-*.texi’ and “make“
Date: Fri, 18 Sep 2020 22:18:51 +0200

On Fri, 18 Sep 2020 at 14:15, Ludovic Courtès <ludo@gnu.org> 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-c C-c C-c Because the files
are generated at the very beginning.

> > Furthermore, ‘make distclean’ does not remove these files.
> It’s on purpose: those files are part of the distribution (they’re in
> the tarball ‘make dist’ creates).

Hum?  Ok.

> 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.
> --8<---------------cut here---------------end--------------->8---

Yah, I have tried to tweak a lot of stuff and it has always failed.
Simon's relationship with configure and Makefile.am: is complicated.
Well, since these files are only a hard copy of files in
gnu/system/examples/, does it make sense to simply symlink them and
remove the rule?


reply via email to

[Prev in Thread] Current Thread [Next in Thread]