Bug#871659: www.debian.org: scripts: Debian GNU/Linux FAQ should not be typesetted on webserver but webserver should use faq .deb (was: Re: [...] Debian Documentation BoF @ DebConf17 [...])

Hi Javier,

Do you agree the FAQ could better be typesetted from the .deb?  Or am I missing
something here?  (I've had a chat with David Prévot about this bug, he
mentioned you were involved in setting this all up and had some insight in it.)

Bye,

Joost

PS/Note to self: involved scripts:
git/debwww/cron/parts/7doc
git/debwww/cron/parts/7doc_manuals
svn/debian/manuals/trunk/Makefile

On Thu, Aug 10, 2017 at 03:47:13PM +0200, Joost van Baal-Ilić wrote:
> Package: www.debian.org
> Severity: normal
> 
> Hi,
> 
> Previous, in
> https://lists.debian.org/msgid-search/[email protected] :
> 
> On Mon, Aug 07, 2017 at 11:06:54PM +0200, Joost van Baal-Ilić wrote:
> > On Sun, Aug 06, 2017 at 11:36:42PM +0200, Joost van Baal-Ilić wrote:
> > > On Sat, Aug 05, 2017 at 06:38:51PM +0200, Joost van Baal-Ilić wrote:
> > > > On Fri, Aug 04, 2017 at 01:06:40PM +0200, Joost van Baal-Ilić wrote:
> <snip>
> > > > >  We'll be discussing the state of Debian's Documentation, what we would
> > > > >  like it to be (the Arch wiki?), and how to get there.
> > > <snip> 
> > > The BoF was not video-d
> <snip>
> > > Here's the "slides", and, more importantly, some notes/conclusions reached.
> > > 
> > >           Debian Documentation BoF
> > >                     by
> > >         you and Joost van Baal-Ilić
> <snip>
> > >       DebConf17, Montréal, august 2017
> <snip>
> > > Notes taken during the discussion
> > > - faq should not be typesetted at webserver; website should use .deb of faq
> <snip>
> 
> 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.
> 
> I plan to fix this bug myself.  Note to self: hack on
> ssh://git.debian.org/git/debwww/cron.git (Thanks Osamu Aoki.)