This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: make info and make dvi depend on make all?


On Sat, 5 Jul 2003, Dara Hazeghi wrote:
>> The logic is that "make info" (toplevel) implies "make info" in target
>> libraries (though the target libraries proper don't have info
>> documentation, but libiberty and fastjar do) which implies configuring
>> them, which implies building the compiler.  "make info" in the gcc
>> subdirectory shouldn't depend on building anything.
> Hmm... I see. I guess there's no real way around that. It's just I was a
> bit surprised when doing make info to about an hour, instead of a minute
> or two!
>
> So just to clarify in general though, if you make documentation changes,
> you are required to do a full make info, or just do one in the affected
> directories?

Nathanael, Joseph, as I also received a private inquiry concerning
this: is it sufficient to configure GCC (at the toplevel) and then
cd to objdir/gcc and run `make info` or `make dvi`?

If so, I'll add a README to gcc/doc documenting this.

Gerald


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]