Sean, On Sat, Jul 1, 2017 at 7:55 AM, Sean Whitton <spwhit...@spwhitton.name> wrote: > Hello Paul, Russ, > > On Tue, Jun 27, 2017 at 10:16:16PM -0700, Russ Allbery wrote: >> We should probably open a bug for this since it's not entirely obvious >> what to do here. I can think of three options: >> >> * Ask debian-www to publish the HTML version of that file as well. >> * Change the link to point to the wiki version of the file. >> * Convert the process doc to DocBook so that we can make it an appendix. >> >> I'm kind of leaning towards the last, honestly. > > Agreed. It should be easy enough to convert back and forth with pandoc, > and it's much better to have this in our git repo than on the wiki. An > appendix is also significantly easier for people to find.
This is now filed as https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=866192. I am CCing this message there. Thanks, Paul Hardy
