Shouldn't this bug be closed, now that gcc-4.1-doc is available in non-free and gcc-doc has moved to contrib? Kind regards, Sven