diff options
author | Mike Frysinger <vapier@gentoo.org> | 2023-10-15 11:22:06 +0300 |
---|---|---|
committer | Jeff Johnston <jjohnstn@redhat.com> | 2023-12-20 01:04:41 +0300 |
commit | 30c469f2e83023b9f77b1771f539006267c632a9 (patch) | |
tree | a79dadbecae335c73324599e020c77898bcd46f0 /libgloss/doc | |
parent | 751a3427e012b165086a4fd2da5981b0bbeaac07 (diff) |
libgloss: doc: generate single page & split html manuals
By default, only split node html manuals are generated. Change the
default to single page, and add an extra rule to also generate the
split page manual.
Diffstat (limited to 'libgloss/doc')
-rw-r--r-- | libgloss/doc/Makefile.inc | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/libgloss/doc/Makefile.inc b/libgloss/doc/Makefile.inc index fa5e30fbf..6f9050fc8 100644 --- a/libgloss/doc/Makefile.inc +++ b/libgloss/doc/Makefile.inc @@ -1 +1,8 @@ +AM_MAKEINFOFLAGS = --no-split + info_TEXINFOS += %D%/porting.texi + +html-local: %D%/porting/index.html +%D%/porting/index.html: %D%/porting.texi %D%/$(am__dirstamp) + $(AM_V_GEN)$(MAKEINFOHTML) $(AM_MAKEINFOHTMLFLAGS) $(MAKEINFOFLAGS) \ + --split=node $< -o $(@D) |