Re: Docbook to GitHub

[TomaÅ Erjavec <tomaz.erjavec@ijs.si>]

On 19. 10. 2022 15:48, David Filip wrote:

TomaÅ, please commit the Docbook modules to the GitHub repo, so that others can start their manual edits work.

    Did it, i.e. made a pull request, can't push directly.

The onlyÂgrammar fixes needed for the autogenerated files

I doubt it! Cf. https://github.com/oasis-tcs/lexidma/pull/14

My pull request also triggered a CI, which failed, seems to be misconfigured: https://github.com/oasis-tcs/lexidma/actions/runs/3284843967/jobs/5411274059

Best,

TomaÅ

are those minuted on 26th September

Github markdown from 7th June to be transposed into Dockbook

..

Changes to be done to autogenerated Docbook byÂTomaÅ

<computeroutput> -> <code>

<sect2> -> <section>

Cheers dF

--

Dr. David Filip

http://www.linkedin.com/in/davidfatdavidf

+420 777 978 929