4 Commits

Author	SHA1	Message	Date
Dolan Miu	ce2a949176	Re-name PageRef to PageReference	2021-09-08 00:41:40 +01:00
Rowan Cockett	727e741b08	Hyperlink documentation	2021-08-31 19:54:57 -06:00
Thomas Gerbet	3f257bf5a4	Add the pageref element ... This instruction is useful if you want to get the number of the page containing a specific bookmark.	2021-08-03 21:17:32 +02:00
fmuscolino	9c89c1ab59	Update docs	2019-04-12 13:46:05 +02:00