Subject: Re: [bug#34156] [PATCH 0/4] Re-organize the manual
From: Ludovic Courtès <[email-masked]>
To: [email-masked]
Date: Tue, 22 Jan 2019 23:20:33 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Ludovic Courtès <[email-masked]> skribis:

>   doc: Move sections under "GNU Distribution" one level higher.
>   doc: Move "System Installation" right after "Installation".
>   doc: Move "Packaging Guidelines" under "Contributing".
>   doc: Move "Package Modules" under "Programming Interface".

Ricardo and Julien were almost enthusiastic about this change on IRC
;-), so I’ve just pushed it.

Ludo’.