Eelco Dolstra
|
1d0a7b54fa
|
Enable syntax highlighting
|
2020-07-31 15:43:25 +02:00 |
|
Eelco Dolstra
|
05a282295f
|
Fix internal links
|
2020-07-24 15:46:16 +02:00 |
|
Eelco Dolstra
|
da3d776cb9
|
Fix some dangling references
|
2020-07-24 14:31:33 +02:00 |
|
Eelco Dolstra
|
8d0b311a1c
|
Get rid of footnotes
Markdown doesn't support them.
|
2020-07-24 11:43:44 +02:00 |
|
Eelco Dolstra
|
802150f987
|
<replaceable> -> <emphasis>
Pandoc doesn't know <replaceable> so let's force it to be rendered as
italics.
|
2020-07-23 18:27:20 +02:00 |
|
Eelco Dolstra
|
136fd55bb2
|
Get rid of <figure>
|
2020-07-23 18:27:20 +02:00 |
|
Eelco Dolstra
|
ca130b73a0
|
Get rid of <example>
Markdown doesn't have floats so we can't have this.
|
2020-07-23 18:27:20 +02:00 |
|
Eelco Dolstra
|
f390303566
|
Reconvert
|
2020-07-23 18:27:11 +02:00 |
|
Eelco Dolstra
|
ef606760ab
|
Pandoc conversion
|
2020-07-23 18:26:48 +02:00 |
|