Move pdf generator option, and make it an actual cmake option

Authored by leinir on Jul 31 2019, 9:26 AM.

Description

Move pdf generator option, and make it an actual cmake option

Details

Committed
leinirJul 31 2019, 9:26 AM
Parents
R157:6c602fcb34b8: If the initial page is -1, things will break. Assume 0
Branches
Unknown
Tags
Unknown