[avr-libc-dev] Disable doc build in a saner way

[Theodore A. Roth]

Hi,

I got to thinking more about how I disabled building of the docs last
week. I think this patch is a bit more sane in it's approach.

This allows configure to still do it's magic in the doc dir even if
--enable-doc is not given. It also allows the --enable-*-doc options to
work regardless of the state of --enable-doc.

The big win is the toplevel build will only build the library. The doc dir
is completely ignored from the toplevel build _unless_ --enable-doc is
passed to configure, _but_ the user can still cd in to doc and type make
to attempt to build the documentation independant of the state of the
--enable-doc option.

I'll commit this later today.

Ted

disable-docs.diff
Description: Text document