Fix pdf always rebuilding. Make document part of default target