Add files that were missing.

These files should have been part of commit 42ecced8a0e35b66898c6e71dd0c4a87e11d6d89
but were apparently forgotten.
Merge pull request #199 from bangerth/add-missing-files

These files should have been part of commit 42ecced but were apparently forgotten. This should fix building the pdf manual.