diff options
Diffstat (limited to 'user_doc.head.html')
| -rw-r--r-- | user_doc.head.html | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/user_doc.head.html b/user_doc.head.html new file mode 100644 index 00000000..268e951d --- /dev/null +++ b/user_doc.head.html @@ -0,0 +1,25 @@ +<html> +<head> +<title>fish user documentation</title> +<link href="doxygen.css" rel="stylesheet" type="text/css"> +</head> +<body> + +<div class="qindex"> + + <a class="qindex" href="http://roo.no-ip.org/fish/index.html"><tt>fish</tt> home</a> +| + <a class="qindex" href="index.html">Main documentation page</a> +| +<a class="qindex" href="about.html">About fish</a> +| +<a class="qindex" href="commands.html">External commands</a> +| +<a class="qindex" href="difference.html">How fish differs from other shells</a> +| +<a class="qindex" href="builtins.html">Builtin commands</a> +| +<a class="qindex" href="license.html">License</a> + +</div> + |