docs(pages): rename PDF link title to 'Export as PDF'



Signed-off-by: Adrian DC <[email protected]>

parent 5b75e7a7

docs/.pages

+1 −1

Original line number	Diff line number	Diff line
		@@ -5,5 +5,5 @@ nav:
		- Git: git
		- About:
		- ‣ Changelog: about/changelog/
		- ‣ Documentation: documentation.pdf
		- ‣ License: about/license/
		- ‣ Export as PDF: documentation.pdf