This removes the duplicate information of odt and pdf documents in the repository. Instead, the PDFs are automatically generated.
With that developers no longer need to remember generating PDFs after updating the odt documentation, and at release time we do not have to check if the PDF shows the latest information.
I verified the (not released) linux build artifact. For windows someone might want to check as well.
This removes the duplicate information of odt and pdf documents in the repository. Instead, the PDFs are automatically generated. With that developers no longer need to remember generating PDFs after updating the odt documentation, and at release time we do not have to check if the PDF shows the latest information.
I verified the (not released) linux build artifact. For windows someone might want to check as well.