Repeated word in the documentation

[Alberto Zanoni]

If I'm not wrong, it seems there is a repeated word ("file") in the manual.

In section 2.6 (Performance optimization):

... put the output in the file file indicated in...

probably it should be

... put the output in the file indicated in...

please double check.
-- 
Alberto Zanoni
Centro Interdipartimentale "Vito Volterra"
Universita' degli Studi di Roma "Tor Vergata"
Via Columbia 2
00133 Roma, Italia
http://bodrato.it/papers/zanoni.html