Add missing property files and doc.html files