Move search.js into docs directory

This commit is contained in:
Ryan Fleury 2019-12-16 15:40:59 -07:00
parent b7992c47ae
commit e9c191c5da
2 changed files with 1 additions and 1 deletions

View File

@ -38,7 +38,7 @@ char html_header[] = R"HTMLFOO(
<head> <head>
<link rel='shortcut icon' type='image/x-icon' href='4coder_icon.ico' /> <link rel='shortcut icon' type='image/x-icon' href='4coder_icon.ico' />
<link href="https://fonts.googleapis.com/css?family=Inconsolata:700&display=swap" rel="stylesheet"> <link href="https://fonts.googleapis.com/css?family=Inconsolata:700&display=swap" rel="stylesheet">
<script src="../search.js"></script> <script src="search.js"></script>
<title>%.*s</title> <title>%.*s</title>
<style> <style>
body { body {