NixOS/nix.dev
NixOS/nix.dev
1
0
Fork 0
mirror of https://github.com/NixOS/nix.dev.git synced 2024-10-18 14:32:43 -04:00
Code Activity

This page: make it work

Browse source
This commit is contained in:
Domen Kožar 2020-06-15 18:06:41 +02:00
parent 9c84f7a601
commit 481228864a
No known key found for this signature in database
GPG key ID: C2FFBCAFD2C24246
3 changed files with 8 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
live.py
View file

@ -8,5 +8,6 @@ print("Doing an initial build of the docs...")
build_docs() build_docs()
server.watch("source/*.rst", build_docs) server.watch("source/*.rst", build_docs)
server.watch("_templates/*.html", build_docs)
server.watch("source/**/*.rst", build_docs) server.watch("source/**/*.rst", build_docs)
server.serve(root="build/html") server.serve(root="build/html")

8
source/_templates/srclinks.html
View file

@ -1,14 +1,16 @@
{%- if show_source and has_source and sourcename %}
<div class="widget navlinks"> <div class="widget navlinks">
<h3>{{ _('This Page') }}</h3> <h3>{{ _('This Page') }}</h3>
<ul class="this-page-menu"> <ul class="this-page-menu">
<li><a href="https://github.com/domenkozar/nix.dev/edit/master/{{ pathto('source/' + sourcename, true).replace('.txt','') }}" <li><a href="https://github.com/domenkozar/nix.dev/edit/master/{{ ('source/' + sourcename).replace('.txt','') }}"
rel="nofollow" rel="nofollow"
target="_blank">{{ _('Edit this page') }}</a></li> target="_blank">{{ _('Edit this page') }}</a></li>
<li><a href="https://github.com/domenkozar/nix.dev/commits/master/{{ pathto('source/' + sourcename, true).replace('.txt','') }}" <li><a href="https://github.com/domenkozar/nix.dev/commits/master/{{ ('source/' + sourcename).replace('.txt','') }}"
rel="nofollow" rel="nofollow"
target="_blank">{{ _('Page history') }}</a></li> target="_blank">{{ _('Page history') }}</a></li>
<li><a href="https://github.com/domenkozar/nix.dev/raw/master/{{ pathto('source/' + sourcename, true).replace('.txt','') }}" <li><a href="https://github.com/domenkozar/nix.dev/raw/master/{{ ('source/' + sourcename).replace('.txt','') }}"
rel="nofollow" rel="nofollow"
target="_blank">{{ _('Source') }}</a></li> target="_blank">{{ _('Source') }}</a></li>
</ul> </ul>
</div> </div>
{%- endif %}

4
source/conf.py
View file

@ -159,15 +159,15 @@ html_theme = "flask"
# Custom sidebar templates, maps document names to template names. # Custom sidebar templates, maps document names to template names.
html_sidebars = { html_sidebars = {
'**': [ '**': [
'searchbox.html',
'localtoc.html', 'localtoc.html',
'relations.html', 'relations.html',
'searchbox.html',
'srclinks.html', 'srclinks.html',
], ],
'index': [ 'index': [
'searchbox.html',
'globaltoc.html', 'globaltoc.html',
'relations.html', 'relations.html',
'searchbox.html',
'srclinks.html', 'srclinks.html',
], ],
} }