diff options
Diffstat (limited to 'doc_src/user_doc.header.html')
-rw-r--r-- | doc_src/user_doc.header.html | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/doc_src/user_doc.header.html b/doc_src/user_doc.header.html new file mode 100644 index 00000000..8e1be50c --- /dev/null +++ b/doc_src/user_doc.header.html @@ -0,0 +1,24 @@ +<!DOCTYPE html> +<html lang="en"> +<head> +<meta charset="utf-8" /> +<meta http-equiv="X-UA-Compatible" content="IE=edge"/> +<meta name="generator" content="Doxygen $doxygenversion"/> +<title>$projectname: $title</title> +$extrastylesheet +</head> +<body> +<div id="top" class="qindex"><!-- do not close this div here, it is closed by doxygen! --> +<a href="http://fishshell.com/"><code>fish</code> shell</a> +| +<a href="index.html">Documentation</a> +| +<a href="tutorial.html">Tutorial</a> +| +<a href="design.html">Design</a> +| +<a href="commands.html">Commands</a> +| +<a href="faq.html">FAQ</a> +| +<a href="license.html">License</a> |