diff options
| author | Mike Frysinger <vapier@gentoo.org> | 2023-10-15 14:07:06 +0545 |
|---|---|---|
| committer | Jeff Johnston <jjohnstn@redhat.com> | 2023-12-19 17:04:41 -0500 |
| commit | 30c469f2e83023b9f77b1771f539006267c632a9 (patch) | |
| tree | a79dadbecae335c73324599e020c77898bcd46f0 /newlib | |
| parent | 751a3427e012b165086a4fd2da5981b0bbeaac07 (diff) | |
| download | newlib-30c469f2e83023b9f77b1771f539006267c632a9.zip newlib-30c469f2e83023b9f77b1771f539006267c632a9.tar.gz newlib-30c469f2e83023b9f77b1771f539006267c632a9.tar.bz2 | |
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 'newlib')
0 files changed, 0 insertions, 0 deletions