Thread:Extension talk:Pdf Export/How to export a group of wiki pages ?

The Overview paragraph suggests that it is possible to output a group of wiki pages to a single PDF file by using the “PDF Export” special page. What syntax is to be used to enter a list of pages in this special page?

I didn't find a documentation on this.

Thanks for any help/pointer on this

Thierry