How is the Contributors page converted from txt to HTML?

General
1

In trying to add a Discourse logo to the SWI-Prolog contributors page wanted to test the change before doing a pull request.

The source is txt with what looks like PlDoc formatting and the page is HTML.
When I tried

swipl --pldoc Contributors.txt

the generated HTML was mostly an empty page.

Details 
C:\Users\Eric\Documents\Projects\SWI-Prolog contributors>swipl --pldoc Contributors.txt
% Started server at http://localhost:57627/pldoc/
ERROR: c:/users/eric/documents/projects/swi-prolog contributors/contributors.txt:3:3: Syntax error: Operator expected
ERROR: c:/users/eric/documents/projects/swi-prolog contributors/contributors.txt:4:50: Syntax error: Operator expected
ERROR: c:/users/eric/documents/projects/swi-prolog contributors/contributors.txt:5:47: Syntax error: Operator expected
ERROR: c:/users/eric/documents/projects/swi-prolog contributors/contributors.txt:7:7: Syntax error: Operator expected
ERROR: c:/users/eric/documents/projects/swi-prolog contributors/contributors.txt:9:3: Syntax error: Operator expected
ERROR: c:/users/eric/documents/projects/swi-prolog contributors/contributors.txt:24:4: Syntax error: Operator expected
ERROR: c:/users/eric/documents/projects/swi-prolog contributors/contributors.txt:68:3: Syntax error: End of file in quoted atom
Welcome to SWI-Prolog (threaded, 64 bits, version 8.3.4-18-ge5d07a583)

EDIT

OK it seems to be a Markdown file with the file type of txt.

EDIT

The links for images with names do not appear to be be standard Markdown, e.g.

  * [[CWI.png;title="CWI logo",align="center",width="125px"][http://www.cwi.nl/]]
    (providing a new home)
  * [[DataChemist.png;title="DataChemist"][https://www.datachemist.com/]],
    developer of [TerminusDB](https://terminusdb.com/) sponsored
    (February 2020) the main development machine.

I am putting this aside as I am just guessing now.

2

To test things on the site you need to clone plweb.git, init its submodule (plwib-www.git) and install a couple of packages according to the README. Next run swipl -l load.pl and then ?- server. to create localhost:3040. Not sure the server runs on Windows. Probably yes.’

You can also make a simple guess, adding the icon to the icons directory and changing the .txt file. I’ll check the PR anyway and fix the details if needed.

The syntax comes from Twiki, an early wiki after which PlDoc was initially modeled. After the image file name you can put a number of ;name=value tuples that add attributes to the <img> element that is produced.

3

That was plan B, but I wanted to make sure the size of the image came out correctly before doing the push.

Thanks.

4

Plan B activated. (pull request)

Thanks.