Update theme and use new way of specifying gi language in markdown

This commit is contained in:
Thibault Saunier 2021-01-04 11:55:17 -03:00
parent d614591657
commit be19c30254
6 changed files with 6 additions and 7 deletions

View file

@ -1,4 +1,3 @@
<div class="gi-symbol-c gi-symbol-javascript">
<div class="gi-lang-javascript gi-lang-c">

View file

@ -1,2 +1,2 @@
<div class="gi-symbol-c">
<div class="gi-lang-c">

View file

@ -1,4 +1,4 @@
<div class="gi-symbol-javascript">
<div class="gi-lang-javascript">

View file

@ -1,4 +1,4 @@
<div class="gi-symbol-python">
<div class="gi-lang-python">

View file

@ -175,7 +175,7 @@ element, remember) to the `PLAYING` state, thus initiating playback.
{{ tutorials/basic-tutorial-1.c[21:26] }}
{{ END_LANG.md }}
{{ C.md }}
{{ PY.md }}
{{ tutorials/python/basic-tutorial-1.py[26:32] }}
{{ END_LANG.md }}

View file

@ -95,7 +95,7 @@ sitemap = configure_file(command: [sitemap_gen, '@INPUT@', '@OUTPUT@',
input: 'sitemap.txt',
output: 'sitemap.txt')
html_theme = 'https://github.com/hotdoc/hotdoc_lumen_theme/releases/download/0.9999999/hotdoc_lumen_theme-0.9999999.tar.xz?sha256=ef3b9dd59550c2ba31a7fbcae1f69e6e77147f5e6e224f37a6cb55c162957437'
html_theme = 'https://github.com/hotdoc/hotdoc_lumen_theme/releases/download/0.999999999/hotdoc_lumen_theme-0.999999999.tar.xz?sha256=d4b3a9a4a2c22f1aa3aa9cf5ebf39a704a2716360b1b32353568de78b2c451dc'
gstreamer_doc = hotdoc.generate_doc('GStreamer',
project_version: apiversion,