diff options
| -rw-r--r-- | doc/local.mk | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/local.mk b/doc/local.mk index 1bc717df84..029232b7ac 100644 --- a/doc/local.mk +++ b/doc/local.mk @@ -81,7 +81,8 @@ EXTRA_DIST += \ OS_CONFIG_EXAMPLES_TEXI = \ %D%/os-config-bare-bones.texi \ %D%/os-config-desktop.texi \ - %D%/os-config-lightweight-desktop.texi + %D%/os-config-lightweight-desktop.texi \ + %D%/he-config-bare-bones.scm TRANSLATED_INFO = \ $(call lang_to_texinfo,$(MANUAL_LANGUAGES),guix) \ |