diff options
author | 2016-02-21 11:48:45 +0100 | |
---|---|---|
committer | 2016-02-21 11:48:45 +0100 | |
commit | cc24a339d8c0517259084b5c178d784626ba965c (patch) | |
tree | 9868e9687b5802ae0a3733712a3bbeb3bc75c953 /3rdparty/rapidjson/doc/misc/footer.html | |
parent | b5daabda5495dea5c50e17961ecfed2ea8619d76 (diff) |
Merge remote-tracking branch 'refs/remotes/mamedev/master'
Second attempt
Diffstat (limited to '3rdparty/rapidjson/doc/misc/footer.html')
-rw-r--r-- | 3rdparty/rapidjson/doc/misc/footer.html | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/3rdparty/rapidjson/doc/misc/footer.html b/3rdparty/rapidjson/doc/misc/footer.html new file mode 100644 index 00000000000..843aa110448 --- /dev/null +++ b/3rdparty/rapidjson/doc/misc/footer.html @@ -0,0 +1,27 @@ +<!-- HTML footer for doxygen 1.8.7--> +<!-- start footer part --> +<!--BEGIN GENERATE_TREEVIEW--> +<div id="nav-path" class="navpath"><!-- id is needed for treeview function! --> + <ul> + $navpath + </ul> +</div> +<!--END GENERATE_TREEVIEW--> +<script type="text/javascript"> + /* * * CONFIGURATION VARIABLES * * */ + var disqus_shortname = 'rapidjson-doc'; + + /* * * DON'T EDIT BELOW THIS LINE * * */ + (function() { + var dt = document.createElement('div'); + dt.id = "disqus_thread"; + (document.getElementsByClassName('contents')[0]).appendChild(dt); + + var dsq = document.createElement('script'); dsq.type = 'text/javascript'; dsq.async = true; + dsq.src = '//' + disqus_shortname + '.disqus.com/embed.js'; + (document.getElementsByTagName('head')[0] || document.getElementsByTagName('body')[0]).appendChild(dsq); + })(); +</script> + +</body> +</html> |