Commit 7109495c5e6cd79f9b97d6773f4111ed0aeff99b
2018-04-01T13:24:59
* builds/toplevel.mk (work): Use $(SEP). This fixes the `make refdoc' using Cygwin: $(CAT) is `type' on this platform, and this program only understands backslashes in paths. Reported by Nikhil Ramakrishnan <ramakrishnan.nikhil@gmail.com>.