"make doc" produces absurdly large html files

[treinen]

the documention produced by "make doc" (my version of odoc is 1.5.2) occupies 505 MB of space, which is absurdly large. Here is the hitlist of the largest html files generated:

$ du -ah . | grep  ".html" | sort -rh | head -20
35M ./morbig/Morbig__CST/class-map2/index.html
35M ./morbig/Morbig__/CST/class-map2/index.html
35M ./morbig/Morbig/CST/class-map2/index.html
33M ./morbig/Morbig__CST/class-reduce2/index.html
33M ./morbig/Morbig__/CST/class-reduce2/index.html
33M ./morbig/Morbig/CST/class-reduce2/index.html
30M ./morbig/Morbig__CST/class-iter2/index.html
30M ./morbig/Morbig__/CST/class-iter2/index.html
30M ./morbig/Morbig/CST/class-iter2/index.html
22M ./morbig/Morbig__CST/class-mapreduce/index.html
22M ./morbig/Morbig__/CST/class-mapreduce/index.html
22M ./morbig/Morbig/CST/class-mapreduce/index.html
19M ./morbig/Morbig__CST/class-map/index.html
19M ./morbig/Morbig__/CST/class-map/index.html
19M ./morbig/Morbig/CST/class-map/index.html
17M ./morbig/Morbig__CST/class-reduce/index.html
17M ./morbig/Morbig__/CST/class-reduce/index.html
17M ./morbig/Morbig/CST/class-reduce/index.html
15M ./morbig/Morbig__CST/class-iter/index.html
15M ./morbig/Morbig__/CST/class-iter/index.html

I suppose that this is due to the infered types of the objects that are arguments to the methods.

-Ralf.

[Niols]

Hey @treinen, can you confirm that you do not encounter the problem anymore on the last commits of master? Like 9ee6567?

[treinen]

Yes, the size of the generated documentation is dramatically reduced. I now have "only" 1.7MB in doc/morbig. Thanks -Ralf.

[Niols]

"Funnily" enough, I get 2.9MB in doc/morbig. Maybe this is due to a different version of odoc outputting different files. In any case, glad this is solved.