Mirror/zeek
1
0
Fork 0
mirror of https://github.com/zeek/zeek.git synced 2025-10-09 10:08:20 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

Move stuff related to policy script documentation from doc/ to doc/scripts/

Browse source
This commit is contained in:
Jon Siwek 2011-04-20 21:11:32 -05:00
parent c472931eb9
commit 4634d92394
20 changed files with 90 additions and 88 deletions
Download patch file Download diff file Expand all files Collapse all files

5
doc/scripts/source/_templates/layout.html Normal file
View file

@ -0,0 +1,5 @@
{% extends "!layout.html" %}
{% block extrahead %}
<script type="text/javascript" src="{{ pathto('_static/showhide.js', 1) }}"></script>
{{ super() }}
{% endblock %}