Public documents accumulating in the several executive departments, bureaus, and offices, not needed for official use, shall be turned over to the Superintendent of Documents annually for distribution or sale.