-
Andrei Pavel authored
--nonet prevented XSL files from being downloaded and thus prevented make commands from terminating succesfully. Supposedly, on some machines --nonet works and is faster.
0c0383ae
--nonet prevented XSL files from being downloaded and thus prevented make commands from terminating succesfully. Supposedly, on some machines --nonet works and is faster.