Commit 844d82afb543fcd0dc635f09eeef5563ffca2ff2

Paul Eggert 2016-10-27T09:12:16

maint: update how to make web pages * doc/README: Update to match what I did today.