mirror of
git://git.sv.gnu.org/coreutils.git
synced 2026-02-10 17:31:56 +02:00
* doc/local.mk (html-local): Add html files to prerequisites so they are generated before 'sed' is invoked. Also interate over the already populated $(HTMLS) to be more general (to multiple html files), and more portable (to non GNU make).