v2.5
Ignore files generated by 'make web-manual-update'.
maint: Run 'make update-copyright'.
maint: Include license text FDL as suggested by bootstrap.