local-remove-manual
authorGNU Libc Maintainers <debian-glibc@lists.debian.org>
Wed, 30 Apr 2025 01:01:35 +0000 (09:01 +0800)
committerSean Whitton <spwhitton@spwhitton.name>
Wed, 30 Apr 2025 01:01:35 +0000 (09:01 +0800)
commitdffbe810a2db164628dcedcb4840e2d7dda7e7c6
treebc8b82cb922f96758c6a47db453ca2ea9507247c
parent66d52789b8b7c6031f9aae8f149414f2f6ff4251
local-remove-manual

The GNU Libc Reference manual has to be removed for licensing reasons.
But some files have a dependency on manual/errno.texi; the easiest
solution is to drop those dependencies and make sure that MAKEINFO=:
so that no target depends on manual/*.texi files.

Gbp-Pq: Topic all
Gbp-Pq: Name local-remove-manual.diff
manual/Makefile [new file with mode: 0644]
sysdeps/gnu/Makefile
sysdeps/mach/hurd/Makefile