Subject: bug#26116: Changes to layout of manual/ directory for web pages

From: Glenn Morris <[email-masked]>
Date: Wed, 15 Mar 2017 18:30:39 -0400

PS not directly related, but on this subject: the manual/texi/, ps/, and
pdf/ directories don't seem to have been updated for 25.1.
IIRC admin.el's make-manuals-dist can help with some of that.