[Win32] Cannot 'make speed' in the 'tune' folder

[Torbjörn Granlund]

  > We never ported timing things to WinDoS.
  >
  > One should not need to run any of the things in tune/ on non-Unix
  > platforms.  The important thing is to run it on each CPU type.
  
  Could this information be provided in the documentation, please ?
  
  For example, there's no mention of this at:
  https://gmplib.org/manual/Performance-optimization.html#Performance-optimization
  
I am not sure such documentation would help: I expect people to notice
(like you did) that things don't build in that folder before they'd hit
such documentation.

-- 
Torbjörn
Please encrypt, key id 0xC8601622