Rename PDF manual files after they are built