[Ecls-list] Windows port fixed

[Yaroslav Kavenchuk]

I wrote:
> Many thanks!
> 
> ECL is build on mingw now.

Small bug (from `make install`):
...
echo "Producing ecl.html; ignore error messages."
Producing ecl.html; ignore error messages.
test -d ecl || mkdir ecl; \
(makeinfo --output-indent=0 -I /home/src/ecl/ecl/src/doc 
--css-include=/home/src/ecl/ecl/src/doc/basic.css --html 
/home/src/ecl/ecl/src/doc/user.txi || \
  texi2html -I=/home/src/ecl/ecl/src/doc -subdir=ecl -split=chapter 
/home/src/ecl/ecl/src/doc/user.txi)  \
&& touch user_manual
makeinfo: unrecognized option `--output-indent=0'

Thanks!

-- 
WBR, Yaroslav Kavenchuk.