* Transform <xi:include> elements to include content
* Remove 3 files which were not referenced
The files were probably included in previous versions and weren't
removed.
* Automatic conversion using pandoc
I just run `pandoc {fn} -f docbook -t markdown --wrap=none -s -o {fn.with_suffix(".md")}` over all .xml files in pills/, and on /book.xml
I manually created SUMMARY.md based on the list in book.xml.
* Remove front matter from 00-preface.md
* Support "note" sections, fix inter-links
* Fix code sections with highlighting, which pandoc missed
* Replace `\'` with `'`.
* Replace `\"` with `"`.
* Replace `\...` with `...`
* Format markdown with Prettier
* Convert code section to fenced, with the appropriate syntax
* Build the book with Nix
* Add highlight.js which supports nix syntax highlighting
* Add redirects from original paths to new paths
* make prompts unselectable
* README: Remove DocBook-specific instructions
(cherry picked from commit 66936f15a573e36e7138fc93cecb8d2845296ace)
* Re-add heading id
It was removed in pandoc step for some reason.
(cherry picked from commit cf39aa5ad95cf3d704ecd2aa4055e4c23e74fb6b)
* Fix footnote rendering with mdbook-epub
mdbook-epub 0.4.37 will collapse the second footnote into the first one.
This does not happen with HTML output from plain mdbook.
(cherry picked from commit bc9bd1384427a443dd12674c5ae2ae0c36ffc7ee)
* Manually added backticks for <package> tags in original
* Put «» around what was originally <replaceable>
* epub: Remove extra page breaks before headings
The sections are pretty short, leading to unnecessary pagination being required.
---------
Co-authored-by: Noam Yorav-Raphael <noam.yoravraphael@mobileye.com>
Co-authored-by: Jan Tojnar <jtojnar@gmail.com>
It was not actually used because we did not pass it the manual.
And if we fix it by replacing the Bash `$combined` variable by a Nix one,
it will fail because we only have RelaxNG schema for Docbook 5.0,
which unlike later versions is too limited (e.g. does not allow
emphasis element within filename element).
- https://tdg.docbook.org/tdg/5.0/filename.html
- https://tdg.docbook.org/tdg/5.2/filename.html
