% -*- latex -*-

This comes from a file in the source directory.
