[m-rev.] for post-commit review: append to .opt files in intermod.m

[Zoltan Somogyi]

On Mon, 14 Sep 2015 11:11:45 +1000 (AEST), Julien Fischer <jfischer at opturion.com> wrote:
> The new documentation is fine, although compiler/polyhedron.m (part of
> the libs package) is missing from the document.

I will add a mention.

> > Would anyone object if I moved these analysis results to the
> > proc_infos of the procedures involved? It seems cleaner, and
> > would simplify some code I am planning to write, but maybe
> > there is a gotcha I don't know about that would make it a bad idea.
> 
> I wrote latter three and don't recall there being a specific reason.

Thanks.

Zoltan.