Add file list to book teasers

From #1248.