Added files to `SOURCES_MANUAL'.
Edited.