Arsenal das Obras Militares.

Em 8 de agosto de 1811, os governadores do reino criaram uma repartição para tratar das fortificações independente do corpo de engenheiros, e cujo chefe tinha o título de intendente geral e fiscal de todas as obras militares. Em portaria de 26 de novembro do mesmo ano se deram instruções para regulamento dos empregados no Arsenal das Obras Militares, de fortificação, estradas, etc. A repartição foi extinta por decreto de 4 de novembro de 1842, passando os assuntos que lhe pertenciam para o corpo de engenheiros e para o Arsenal do Exército.