Joost van Baal-Ilić <joostvb-debian-bugs-2017081...@mdcc.cx> wrote: > The Debian GNU/Linux FAQ, as publised at > https://www.debian.org/doc/manuals/debian-faq/ , is one of the very few of our > documents which gets fetched from VC and build/typesetted by the webserver; > most other documents use the content as shipped by the document's .deb > packages. The latter scheme is better since it saves resource usage on our > webserver. We loose frequent updates of the web-published content. However, > the source content of our documents is no longer updated very frequently > anyway, so I feel we're ready for using the .deb.
This has been changed in the meantime, so closing this bug. Holger -- Holger Wansing <hwans...@mailbox.org> PGP-Fingerprint: 496A C6E8 1442 4B34 8508 3529 59F1 87CA 156E B076