Subject: bug#25690: make install-html broken

From: Assaf Gordon <[email-masked]>
Date: Thu, 16 Feb 2017 21:12:47 -0500

tags 25690 fixed
close 25690
stop

Thanks for the review.
Pushed (with your suggestion) here:
https://git.savannah.gnu.org/cgit/sed.git/commit/?id=75e5a9b6

regards,
 - assaf