GitLab

PDF documentation isn't enabled, so pdflatex isn't used.
Signed-off-by: Aaron Plattner <aplattner@nvidia.com>