manuelcillero/pagetop
manuelcillero/pagetop
1
0
Fork 0
Code Issues Pull requests 1 Projects Releases Packages Wiki Activity Actions

Retoca y depura info capturada de página [mdbook]

Browse source
This commit is contained in:
Manuel Cillero 2022-07-28 22:31:58 +02:00
parent 3297c24082
commit 33c3262426
2 changed files with 58 additions and 23 deletions
Download patch file Download diff file Expand all files Collapse all files

7
website/doc/theme/index.hbs vendored
View file

@ -1,9 +1,10 @@
<!-- Lang: "{{ language }}" -->
<!-- Title: "{{ title }}" -->
<!-- Description: "{{ description }}" -->
<!-- Lang: {{ language }} -->
<!-- Title: {{ title }} -->
<!-- Print: {{#if print_enable}}enabled{{else}}disabled{{/if}} -->
<!-- MathJax: {{#if mathjax_support}}supported{{else}}unsupported{{/if}} -->
<!-- mdBook -->
<!-- Provide site root to javascript -->
<script type="text/javascript">
var path_to_root = "{{ path_to_root }}";