Help:Document export

From GRWiktionaryHelp

The input of the Document Export function is an HTML input form which accepts the page names of existing wiki pages. To make it easier there is a search function which can be used to populate the list with wiki search query results. The output of the export is the content of the pages listed by the user in the format they have indicated (either XML, PDF or HTML), which can be downloaded by the user. It can be accessed from the Navigation Menu on the left hand margin of the Wiki, or through the Special pages link which is also in the Navigation Menu.

Image:Document-export-layout.png

• The Input List of Wiki Pages in the document export can be edited manually by typing in page names or by using the Search Query Input below (the search method is easier if you don't know the exact names of the pages).
• You can use the search function by typing the term into the Search Query Input and clicking the Add Search Results button (labelled 'Search' in the diagram above).
• The resulting list of pages will be appended to the Input List of Wiki Pages.
• You can select the format radio button corresponding to the format you would like to dump the list of pages to (XML, PDF or HTML) and then dump the pages using the Dump button.