diff options
| author | Mickaël Fortunato <mickael.fortunato@protonmail.com> | 2025-05-29 17:30:36 +0200 |
|---|---|---|
| committer | Ekaitz Zarraga <ekaitz@elenq.tech> | 2025-05-30 20:09:48 +0200 |
| commit | dc02be0b61edbadcb7ac330b1c7d0bbba565514f (patch) | |
| tree | 164b9f47056b00ef27d3c542b646e5ae0bd634bf /doc/local.mk | |
| parent | 2606ac19d4091679ff53033d3ec75dc7b6588613 (diff) | |
doc: Depend on os-config-*.texi files.
This allows running `make info` without having to run `make` first.
* doc/local.mk (%C%_guix_TEXINFOS): Add os-config-*.texi.
Change-Id: I1998bccc6fb13a74e992a3f23311ed0de4799e89
Signed-off-by: Ekaitz Zarraga <ekaitz@elenq.tech>
Diffstat (limited to 'doc/local.mk')
| -rw-r--r-- | doc/local.mk | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/local.mk b/doc/local.mk index a77e148f3e..b47e47f78c 100644 --- a/doc/local.mk +++ b/doc/local.mk @@ -52,6 +52,7 @@ info_TEXINFOS = %D%/guix.texi \ %D%/guix-cookbook.sv.texi %C%_guix_TEXINFOS = \ + $(OS_CONFIG_EXAMPLES_TEXI) \ %D%/contributing.texi \ %D%/fdl-1.3.texi |