Dokumentacja kernela należy do pakietu kernel-source, co jest troche kicha, bo wymusza instalowanie źródeł kernela po to tylko, żeby sprawdzić cokolwiek w /usr/src/linux/Documentation (np. przeczytać plik devices.txt). Nie można wydzielić tego katalogu do osobnego pakietu? -- Roman Werpachowski