Demonstrator - Reasoning WebAPI issueshttps://gitlab.rz.uni-bamberg.de/cogsys/dare2del/demonstrator/-/issues2020-12-13T19:24:59Zhttps://gitlab.rz.uni-bamberg.de/cogsys/dare2del/demonstrator/-/issues/57Number headers only for documentation2020-12-13T19:24:59ZSiebers, MichaelNumber headers only for documentationRegarding the numbering of headers introduced in commit 1dd752e6cf9ca4831eb9c1144ed5c887440dacd1: These are applied to all headlines (in our documentation, auto-generated directory views and the manual). In some places this looks rather ...Regarding the numbering of headers introduced in commit 1dd752e6cf9ca4831eb9c1144ed5c887440dacd1: These are applied to all headlines (in our documentation, auto-generated directory views and the manual). In some places this looks rather ugly, e.g. http://localhost:4444/doc/pldoc/man?section=preddesc.
Could we restrict this formatting to our documentation (directly below `/doc`)?
Implementation note: our documentation is surrounded with a custom wrapper div (id `wiki-wrapper`?)Sebastian SeufertSebastian Seuferthttps://gitlab.rz.uni-bamberg.de/cogsys/dare2del/demonstrator/-/issues/42Integrate PLDoc server2020-12-10T18:07:35ZSiebers, MichaelIntegrate PLDoc serverAn additional PLDoc server would autogenerate and serve HTML files for the prolog predicate definitions. This server shall be integrated into the main server.
- The endpoint `/doc` will serve the main documentation (started in the WIKI)...An additional PLDoc server would autogenerate and serve HTML files for the prolog predicate definitions. This server shall be integrated into the main server.
- The endpoint `/doc` will serve the main documentation (started in the WIKI).
- The endpoint `doc/pldoc` will serve the actual predicate documentation.
- Whether documentation is served is configurable using a CLI switch (default is yes)
- The served pages will have some custom look and feel (nice-to-have).
- Footer will display the used SWI-Prolog and WebAPI version.