Some TeX reorganization and added an archive target.