# Empty Makefile
# This file just exists to prevent the creation of the vignette PDFs
# because they depend on several LaTeX extensions
all:
