Hi, I would be happy if you could decide what you want to do. Keep the PDF versions (with or without updating them) or remove building the PDFs? Currently this discussion seems to be stalled and I like to move forward. How likes to decide this? debian-doc or release team?
IMO the release notes for an oldstable release are not that important to postpone the upgrade of a Debian machine. -- regards Thomas
