move the website to harvey-os/web

web/.gitignore

@@ -1 +0,0 @@
-site

web/docs/about.md

@@ -1,34 +0,0 @@
-# About
-
-### Features
-
-- AMD 64 bit
-- Modern, simplified syscall system
-- GCC toolchain means you can use gdb(!)
-- Compile in Linux or OSX using Harvey's headers and libs, no need to change anything else
-- Fast compilation of the whole system
-- All Plan9 userland apps available
-- Plans to add X11 with rio-like multiplexing, tty driver, new fileserver, native toolchain and more
-- Build binaries that will run on Linux and Harvey with no changes.
-- Go programming language port in progress.
-
-### About the Name
-
-So, why "Harvey"? Mostly because we liked it, but there are at least 3 other good reasons:
-
-1. <a href="http://www.imdb.com/title/tt0042546/">Harvey</a> is a movie, <a href="http://www.imdb.com/title/tt0052077/">Plan 9</a> is a movie too.
-1. Harvey is a rabbit, Glenda is a bunny.
-1. Most importantly: in the movie, those who believed in Harvey were thought to be insane, but eventually found not to be.
-
-## Team
-
-- Álvaro Jurado
-- Aki Nyrhinen
-- Dan Cross
-- David du Colombier
-- Hank Donnay
-- John Floren
-- Keith Poole
-- Rafael Fernández
-- Ron Minnich
-- Sevki Hasirci

web/docs/blog.md

@@ -1,2 +0,0 @@
-<meta http-equiv="refresh" content="0; url=http://blog.harvey-os.org" />
-

web/docs/code_of_conduct.md

@@ -1,66 +0,0 @@
-This code of conduct outlines our rules and expectations for everybody participating in the Harvey community.
-
-
-= Mailing list and chat etiquette =
-
-We have a friendly and productive atmosphere on our mailing lists, development / code review tools and IRC chat rooms. Our principles evolve around the following:
-
-* It's not the user's fault if something goes wrong.
-* Attempt collaboration before conflict.
-* People who intentionally insult others (users, developers, corporations, other projects, or the Harvey project itself) will be dealt with. See policy below.
-* We are dealing with hardware with lots of undocumented pitfalls. It is quite possible that you did everything right, but Harvey or its tools still won’t work for you.
-
-Refrain from insulting anyone or the group they belong to. Remember that people might be sensitive to other things than you are.
-
-Most of our community members are not native English speakers, thus misunderstandings can (and do) happen. Always assume that others are friendly and may have picked less-than-stellar wording by accident.
-
-If you feel that you have been treated unfairly, we want to hear about it so we can handle the situation. Please contact our arbitration team directly: They will listen to you. If you don't get a response within a few days, your mail was probably lost. Please resend your mail to another member of the arbitration team in that case.
-
-
-= Unacceptable Behavior =
-
-Unacceptable behaviors include: intimidating, harassing, abusive, discriminatory, derogatory or demeaning speech or actions by any participant in our community online, at all related events and in one-on-one communications carried out in the context of community business. Community event venues may be shared with members of the public; please be respectful to all patrons of these locations.
-
-Examples of behaviors we do not accept in our community: 
-
-* harmful or prejudicial verbal or written comments related to gender, sexual orientation, race, religion, disability;
-* inappropriate physical contact, and unwelcome sexual advances;
-* deliberate intimidation, stalking or following;
-* harassing photography or recording;
-* sustained disruption of talks or other events.
-
-Using this code of conduct aggressively against other people in the community might also be harassment. Be considerate when enforcing the code of conduct and always try to listen to both sides before passing judgment.
-
-= Consequences of Unacceptable Behavior =
-
-Unacceptable behavior from any community member, including sponsors and those with decision-making authority, will not be tolerated.
-
-Anyone asked to stop unacceptable behavior is expected to comply immediately.
-
-If a community member engages in unacceptable behavior, the community organizers may take any action they deem appropriate, up to and including a temporary ban or permanent expulsion from the community without warning (and without refund in the case of a paid event). Community organizers can be part of the arbitration team, or organizers of events and online communities.
-
-= If You Witness or Are Subject to Unacceptable Behavior =
-
-If you are subject to or witness unacceptable behavior, or have any other concerns, please notify someone from the arbitration team immediately.
-
-
-= Addressing Grievances =
-
-If you feel you have been falsely or unfairly accused of violating this Code of Conduct, you should notify the arbitration team with a concise description of your grievance.
-
-
-= Scope =
-
-We expect all community participants (contributors, paid or otherwise; sponsors; and other guests) to abide by this Code of Conduct in all community venues—online and in-person—as well as in all one-on-one communications pertaining to community business.
-
-
-= Contact info =
-
-Our arbitration team consists of the following people
-* Ronald Minnich <rminnich@harvey.org>
-
-
-= License and attribution =
-
-This Code of Conduct is distributed under a Creative Commons Attribution-ShareAlike license. It is based on http://citizencodeofconduct.org/
-

web/docs/community.md

@@ -1,35 +0,0 @@
-# Community
-
-Our community is growing in members and interest.
-
-Now Harvey has many people around its community, looking, experimenting,
-testing... but in order to set main lines and goals, there is a bunch of people
-in what we usual call "core team" making decisions, improving the system, testing
-and resolving problems across all the source.
-That doesn't mean you couldn't help us, through Gerrit you can submit patches,
-new programs or improvements that we will review and possibly accept. Every hand
-is welcome.
-
-Below there are some links useful to participate in our community and become a Harvey enthusiast
-that could be interesting for you. For writing in mailing list, you need to request
-an invitation. Once you're in it, you can request an invitation to Slack channels.
-
-## Mailing lists 
-
-* <a href="https://groups.google.com/forum/#!forum/harvey">Harvey OS</a>
-
-## Wiki 
-
-* <a href="https://github.com/Harvey-OS/harvey/wiki">Harvey wiki</a>
-
-## Harvey-OS Man Pages
-
-* <a href="https://sevki.io/harvey/sys/man/1/0intro">Harvey OS manual</a>
-
-## Blog
-
-* <a href="https://blog.harvey-os.org">Harvey official blog</a>
-
-## Slack
-
-* <a href="https://harvey-os.slack.com/messages/general/">Harvey Slack channels</a>

web/docs/docs/faq.md

@@ -1,11 +0,0 @@
-# FAQ
-
- 
-### Flank spare ribs corned beef pork belly 
-swine fatback frankfurter andouille tenderloin turkey. Hamburger andouille flank salami biltong. Tenderloin turkey venison doner ham hock, filet mignon short loin fatback. Pork andouille shankle bresaola pork chop boudin leberkas swine, tail salami flank meatloaf. 
-
-### Bacon corned beef kevin boudin capicola 
-tri-tip chuck ham bresaola spare ribs biltong jowl strip steak tenderloin. Corned beef prosciutto doner, drumstick picanha shoulder fatback pig chicken chuck turducken porchetta pancetta swine. Alcatra salami swine sausage short loin kevin landjaeger ground round meatball ball tip picanha ham hock beef ribs.
-
-### Bacon ipsum dolor amet chuck ipsum ut ad duis magna 
-aliquip shoulder. Sirloin short ribs dolore fatback. Sunt irure porchetta, biltong exercitation cillum excepteur ball tip. Qui hamburger shank deserunt, sed chicken short loin dolore tri-tip quis in. Dolor in veniam nulla in bresaola ut sunt jowl tri-tip velit. Laboris andouille minim ball tip, pork meatball ex shank t-bone ea consectetur cillum flank officia. Meatball tri-tip ham veniam turkey eiusmod t-bone consequat bresaola anim pig ball tip. 

web/docs/docs/getting-started.md

@@ -1,113 +0,0 @@
-#  Getting started with Harvey OS 
-
-This is Plan 9 for amd64 built with gcc (and soon, I hope, clang).
-
-This file is a quick list of instructions to get you started quickly.
-
-
-Prerequisites
-=============
-
-To build harvey and play with it, you need to have git, golang, qemu, gcc,
-binutils and bison installed. On a Debian, Ubuntu or other .deb system,
-you should be able to get going with
-
-	sudo aptitude install git golang build-essential bison qemu-system
-
-
-GERRIT
-======
-
-We use gerrithub.io for code-review. If you want to submit changes, go to
-
-	https://review.gerrithub.io/#/admin/projects/Harvey-OS/harvey
-
-and check out the repository from gerrithub rather than github. The clone
-command will probably look something like this:
-
-	git clone ssh://USERNAME@review.gerrithub.io:29418/Harvey-OS/harvey
-
-you'll need to run a few commands inside the top-level directory to get set
-up for code-review:
-
-	cd harvey
-	curl -Lo .git/hooks/commit-msg http://review.gerrithub.io/tools/hooks/commit-msg
-	chmod u+x .git/hooks/commit-msg
-	git config remote.origin.push HEAD:refs/for/master
-
-You're now all set, you can build the whole thing just by running
-
-	./BUILD all
-
-which should take maybe a minute.
-
-Once building is complete, you can try booting the kernel with qemu
-
-	(cd sys/src/9/k10 && sh ../../../../util/QRUN)
-
-Next you should find a bug somewhere in harvey and fix it. In general, the
-util/build tool "just works" in any subdirectory, so you can also build just
-the stuff you are looking at, too, eg.
-
-	cd sys/src/cmd/aux
-	build aux.json
-
-Let's say you found a bug and the files you needed to change were
-sys/src/9/ip/tcp.c and sys/src/9/ip/ipaux.c. To submit this for review, you do
-
-	git add sys/src/9/ip/tcp.c
-	git add sys/src/9/ip/ipaux.c
-	git diff --staged # to check that the patch still makes sense
-	git commit -m 'your description of the patch'
-	git push
-
-Note the lack of qualifiers in the last push command. It is important,
-because it needs to be pushed to "origin HEAD:refs/for/master" for review
-(and not to master). This will generate a code-review change request, others
-will review it, and if it looks good we will merge it to the mainline repo
-using gerrithub.io.
-
-If your patch needs further work (you notice something wrong with it yourself,
-or someone suggests changes), you can just edit the affected files and then
-amend the change list as follows
-
-	git add sys/src/9/ip/tcp.c
-	git commit --amend
-	git push
-
-More information on using Gerrit can be found on the gerrithub.io website.
-
-
-Getting ninep to serve your files
-================================
-
-The currently recommended way of doing this is to run ninep/ufs as the file
-server for harvey. You can get ninep/ufs in the following way
-
-	cd util
-	mkdir go
-	cd go
-	export GOPATH=$(pwd)
-	go get github.com/rminnich/ninep
-	go get github.com/rminnich/ninep/ufs
-	go get github.com/rminnich/ninep
-	go install github.com/rminnich/ninep/ufs
-	cp bin/ufs ..
-
-After these, you have util/ufs, and you can use
-
-	(export HARVEY=$(pwd) && cd sys/src/9/k10 && sh ../../../../util/GO9PRUN)
-
-to boot with ufs serving the harvey directory for your harvey instance. Once
-harvey is up, you can telnet onto it with
-
-	util/telnet localhost:5555
-
-Where 5555 is forwarded to the harvey instance. This gives you a prompt 
-without any security. Once you have the prompt, you can mount the harvey
-directory as your root like this (10.0.2.2 is what qemu has as the host)
-
-	srv tcp!10.0.2.2!5640 k
-	mount -a /srv/k /
-
-

web/docs/docs/manual.md

@@ -1,20 +0,0 @@
-#  Harvey OS Manual 
-
-
-## Bacon ipsum dolor amet
-
-Bacon ipsum dolor amet chuck ipsum ut ad, duis magna aliquip shoulder. Sirloin short ribs dolore fatback. Sunt irure porchetta, biltong exercitation cillum excepteur ball tip. Qui hamburger shank deserunt, sed chicken short loin dolore tri-tip quis in. Dolor in veniam nulla in bresaola ut sunt jowl tri-tip velit. Laboris andouille minim ball tip, pork meatball ex shank t-bone ea consectetur cillum flank officia. Meatball tri-tip ham veniam turkey eiusmod t-bone consequat bresaola anim pig ball tip.
-
-Eiusmod sunt velit pastrami nisi porchetta exercitation pork drumstick labore fugiat. Minim bacon dolore shankle fatback. Pork belly cupim doner jowl, meatloaf ham chicken turducken ut andouille bresaola ribeye officia tail ground round. Ipsum et pork, chuck id strip steak pig eu commodo turducken. Beef minim fatback tongue ribeye cupidatat short loin enim capicola velit commodo t-bone chuck swine. Pig reprehenderit biltong chuck laborum turkey cillum laboris sausage prosciutto ut. Reprehenderit spare ribs ham chicken, sint andouille pork loin eu chuck lorem sed hamburger duis.
-
-
-### T-bone nostrud biltong sirloin 
-
-pig filet mignon in shoulder ham hock pariatur irure ex in fatback. Corned beef bacon sirloin porchetta rump. Chuck cupidatat enim, fugiat picanha frankfurter ham. Sed short loin aute velit tri-tip t-bone pastrami. Nulla ribeye kielbasa ea, shoulder consectetur elit nisi rump cupim porchetta anim shankle swine tempor.
-
-
-### Labore t-bone swine ham consectetur velit officia 
-
-reprehenderit eu est incididunt occaecat tongue drumstick cillum. Aliqua bacon short loin picanha. Strip steak commodo non, tenderloin ad aliquip lorem in meatball nostrud sausage. Aliquip excepteur frankfurter fatback anim rump incididunt bacon cupim nostrud ut.
-
-

web/docs/download.md

@@ -1,8 +0,0 @@
-# Download 
-
-Harvey is currently under very active development, to the point that
-a release could just become obsolete overnight.
-
-For source code access, you should go to our [github page](https://github.com/Harvey-OS/harvey)
-or go see [gerrithub.io](https://review.gerrithub.io/#/admin/projects/Harvey-OS/harvey)
-for code review.

web/docs/index.md

@@ -1,33 +0,0 @@
-# Harvey OS
-
-<div class="lazy">
-  <img src="img/harvey-os-logo.png" alt="Harvey OS logo"></img>
-</div>
-
-## What is Harvey?
-
-Harvey is an effort to get the <a href="http://plan9.bell-labs.com/plan9/about.html">Plan 9</a> code working with <a href="https://gcc.gnu.org/">gcc</a> and <a href="http://clang.llvm.org/">clang</a>.
-
-Our aim is to provide a modern, distributed, 64 bit operating system that does away with Unix's wrinkles and allows for new ways of working.
-
-## News & events
-
-* [FOSDEM 2016](news#harvey-at-FOSDEM-2016)
-* [Things you can do now in Harvey](news#things-you-can-do-now-in-harvey)
-* [Using gdb to debug Harvey](news#debugging-harvey-gdb)
-* [APE is ready](news#ape-is-ready)
-* [Broken scheduler, working scheduler](news#broken-scheduler)
-* [USENIX presentation slides available](news#usenix-2015-materials)
-* [Developers wanted!](news#developers-wanted)
-
-
-<h2>Code status</h2>
-<div class="lazy">
-  <a href="https://travis-ci.org/Harvey-OS/harvey">
-    <img alt="travis badge" src="data:image/png;base64,R0lGODlhAQABAAD/ACwAAAAAAQABAAACADs=" data-src="https://travis-ci.org/Harvey-OS/harvey.svg?branch=master">
-  </a>
-  <a href="https://scan.coverity.com/projects/5328">
-    <img alt="coverity badge" src="data:image/png;base64,R0lGODlhAQABAAD/ACwAAAAAAQABAAACADs=" data-src="https://scan.coverity.com/projects/5328/badge.svg">
-  </a>
-</div>
-

web/docs/news.md

@@ -1,179 +0,0 @@
-# News & events
-
-<a name="FOSDEM 2016"></a>
-
-## Harvey at FOSDEM 2016
-January 30/31, 2016
-
-European members of core team were at FOSDEM2016.
-Changing impressions, suggestions, debating mainlines, drinking beer, meeting people...
-We assisted to some devrooms and lightning talks, all of them interesting.
-
-Here there are a couple of pictures trying to show Harvey as it was at that moment.
-
-![Preparing Harvey](img/fosdem2016/photo_2016-02-11_00-27-30.jpg)
-Building and preparing the system
-
-![Harvey at big screen](img/fosdem2016/photo_2016-02-11_00-27-40.jpg)
-Running Harvey! (Left to right: Keith, Sevki, Álvaro and Rafael)
-
-
-<a name="Factotum, Fossil disk, Go and drawterming Harvey"></a>
-
-## Things you can do now in Harvey
-December 20, 2015
-
-Many new things have been changed or implemented last months. We were working a lot and now, even for our own eyes, we went far away than we thought at the begining, almost a year ago. But we want more, so remember: we need programmers. Are you ready to join Harvey?
-
-Harvey has now an almost stable kernel:
-
->What means you can start to do programs and experiments in it.
-
-We are able to use [drawterm](https://github.com/0intro/drawterm) with Harvey:
-
->Don't forget to try mclock, courtesy of John DeGood.
-
-Factotum is working:
-
->Well, if you don't know what it means, you should to read [some lines](http://plan9.bell-labs.com/plan9/factotum.html) about it first.
-
-System console are now splitted in three types:
-
->And all of them out of kernel in user space, thanks to Giacomo Tesio. Just check the code to see how they work and the purpose of everyone.
-
-Now we are able to play with Go programming language:
-
->There are some limitations, This is a work in progress. Never quite graceful to Ron Minnich for this and many other things.
-
-Harvey has now Fossil and Venti:
-
->So you can set up a disk (real and virtual) for your system installation. Check our wiki to see how to do it. Courtesy of Rafael Fernández, who fought hard with Fossil.
-
-And don't forget you can come to meet us in [Fosdem 2016](http://fosdem.org), you will recognize us for our Harvey T-Shirts. Do you want one of them? check [here](http://www.zazzle.com/harvey_os_supplies).
-
----
-
-<a name="debugging-harvey-gdb"></a>
-## Using gdb to debug Harvey
-August 8, 2015
-
-A page has been added to the wiki which describes how to debug Harvey using gdb.  See [Debugging Harvey in gdb](https://github.com/Harvey-OS/harvey/wiki/Debugging-Harvey-in-gdb) for details.
-
----
-
-<a name="ape-is-ready"></a>
-## APE is ready
-August 6, 2015
-
-APE (the [ANSI/POSIX Environment](http://plan9.bell-labs.com/sys/doc/ape.html)) has been finally given the green light:
-
->ANSI people, it's your time. Let's go, doors are opened. Ape is working.
->Improvements, suggestions are welcome. Ports can be done. Wiki is ready in github.
-
-This means a whole host of ports can be on their way fueled by POSIX -sort of- compliance:
-
->  There are some aspects of required POSIX behavior that are impossible or very hard to simulate in Plan 9.
->  Experience has shown, however, that the simulation is adequate for the vast majority of programs.
-
-A quick [getting started with APE](https://github.com/Harvey-OS/ape/wiki/Getting-Started) guide is being drafted in the wiki.
-
----
-
-<a name="broken-scheduler"></a>
-## Broken scheduler, working scheduler
-August 1, 2015	
-
-Despite the hot summer, Harvey has been progressing steadily during these months. So, a big THANK YOU to everyone involved, you all rock!
-
-Obviously, it can't all be happy days: resident guru Aki Nyrhinen has just proved how things can easily fall into chaos by detecting a major defect in Harvey's core. Straight from the horse's mouth:
-
->it turns out that the scheduler in harvey is badly broken.
->it does not do time sharing at all, among other things.
->it also crashes instantly if squidboy is enabled (>1 core).
->the procs aren't really reusable at all, because the kernel structures are apparently infested with pointers to the procs when one does an exit.
->there's a lot to be fixed here.
-
-Undeterred by the mess, and in a question of hours, the fire has been put out:
-
->Alright, after 4 hours of furious editing and undoing damage to the boot code, I've got harvey booting up with the ndnr() in squidboy commented out.
-
-Some (thorough?) measurements after the fix:
-
->Boot faster.
->CPU at 13% as usual (we still have pending a new random).
->No weird behaviours.
->Nice job!
-
-Hooray!
-
----
-
-<a name="usenix-2015-materials"></a>
-## USENIX presentation slides available 
-July 20, 2015
-
-Here are Harvey's [presentation slides](docs/Harvey-Usenix-2015-ATC-BOF-slides.pdf) at USENIX 2015 ATC BOF.
-
-We will update this note when we can link to a video of the talk.
-
----
-
-<a name="developers-wanted"></a>
-## Looking for developers!
-July 15, 2015
-
-For the next couple of months, the project is looking for developers to step up and help get Harvey ready for prime time.
-
-> "I think the big goal for the next two months, the single most important goal, is to move a needle: we want more people contributing"
-
-There still exist areas for continued development, and YOU can make a difference. This experience can make for an ideal project for Operating System courses and the like. Please talk to us!
-
-> "For new people: we have troubles with sdiahci.c, ahci driver. So we haven't local disk for now. It's not blocking at all, but other improvements depends on it. But, what would you like to do with Harvey meanwhile?"
-
----
-
-<a name="usenix-2015"></a>
-##Harvey at USENIX 2015
-July 8, 2015
-
-
-It's usenix and we have a BOF tomorrow night, so we have to get the
-minicluster going. Five AMD Persimmon boards in a stack and 1 Minnow
-MAX.
-
-We had really high hopes for the minnow max but it is a bit of a
-disappointment. Super neat size -- see the little blue box hanging
-from an ethernet cable in the 5th picture? It was kind of exciting to
-see so much in such a small box.
-
-We've concluded that to make this board usable for Harvey we're going
-to need to swap out UEFI for some other firmware. it took us 15
-minutes just to walk through enough of the commands and dialogues to
-realize we can only boot from a FAT-formatted SD card. FAT
-formatted. 2015. What's wrong with this picture?
-
-So then tried PXE boot. See John taking a movie of the TV? It's
-because when UEFI pxeboot fails, it puts the failure frame up for 1/30
-second and clears it. So John took a movie, and then we watched the
-movie frame by frame to see the error. 
-
-Then we hit the next problem: once we
-got the special version of GRUB booting over the LAN, it told
-us we wouldn't have a visible console. We need a console.
-
-The AMD stack, with three coreboot nodes and two AMI BIOS nodes,
-worked better. The only thing that went wrong is that the AMI BIOS
-breaks pxelinux.0 -- it loads and gets to some point, and then instant
-reset. We can still boot harvey on the AMI BIOS nodes, but only from a USB stick. 
-We'll be reflashing these too. 
-
-![mini cluster](img/usenix2015/mini-cluster.jpg)
-Harvey mini-cluster ready to fire up (or catch fire)
-
-![boffins to blame](img/usenix2015/boffins-to-blame.jpg)
-John on the floor, trying to make the minnowmax boot
-Harvey, Aki on the chair making Harvey build on a mac and boot off of one.
-
-![video of error](img/usenix2015/video-of-error.jpg)
-John decided taking a video of the boot sequence would
-be the best way to capture the sub-second error message.

web/harvey-theme/base.html

@@ -1,115 +0,0 @@
-<!DOCTYPE html>
-<html lang="en">
-    <head>
-        <meta charset="utf-8">
-        <meta http-equiv="X-UA-Compatible" content="IE=edge">
-        <meta name="viewport" content="width=device-width, initial-scale=1.0">
-        {% if page_description %}<meta name="description" content="{{ page_description }}">{% endif %}
-        {% if site_author %}<meta name="author" content="{{ site_author }}">{% endif %}
-        {% if canonical_url %}<link rel="canonical" href="{{ canonical_url }}">{% endif %}
-        {% if favicon %}<link rel="shortcut icon" href="{{ base_url }}/{{ favicon }}">
-        {% else %}<link rel="shortcut icon" href="{{ base_url }}/img/favicon.ico">{% endif %}
-
-  <title>{% if page_title %}{{ page_title }} - {% endif %}{{ site_name }}</title>
-
-        <link href="{{ base_url }}/css/bootstrap-custom.min.css" rel="stylesheet">
-        <link href="{{ base_url }}/css/font-awesome-4.0.3.css" rel="stylesheet">
-        <link href="{{ base_url }}/css/base.css" rel="stylesheet">
-        <link rel="stylesheet" href="{{ base_url }}/css/highlight.css">
-
-        {%- for path in extra_css %}
-        <link href="{{ path }}" rel="stylesheet">
-        {%- endfor %}
-
-        <!-- HTML5 shim and Respond.js IE8 support of HTML5 elements and media queries -->
-        <!--[if lt IE 9]>
-            <script src="https://oss.maxcdn.com/libs/html5shiv/3.7.0/html5shiv.js"></script>
-            <script src="https://oss.maxcdn.com/libs/respond.js/1.3.0/respond.min.js"></script>
-        <![endif]-->
-
-        {% if google_analytics %}
-        <script>
-            (function(i,s,o,g,r,a,m){i['GoogleAnalyticsObject']=r;i[r]=i[r]||function(){
-            (i[r].q=i[r].q||[]).push(arguments)},i[r].l=1*new Date();a=s.createElement(o),
-            m=s.getElementsByTagName(o)[0];a.async=1;a.src=g;m.parentNode.insertBefore(a,m)
-            })(window,document,'script','//www.google-analytics.com/analytics.js','ga');
-
-            ga('create', '{{ google_analytics[0] }}', '{{ google_analytics[1] }}');
-            ga('send', 'pageview');
-        </script>
-        {% endif %}
-    </head>
-
-    <body>
-
-        {% include "nav.html" %}
-
-        <div class="container">
-            {% block content %}
-                <div class="col-md-3">{% include "toc.html" %}</div>
-                <div class="col-md-9" role="main">{% include "content.html" %}</div>
-            {% endblock %}
-        </div>
-
-        <footer class="col-md-12">
-            <hr>
-            {% if copyright %}
-                <p>{{ copyright }}</p>
-            {% endif %}
-            <p>The Harvey OS team - 2015</p>
-        </footer>
-
-        <script src="{{ base_url }}/js/jquery-1.10.2.min.js"></script>
-        <script src="{{ base_url }}/js/bootstrap-3.0.3.min.js"></script>
-        <script src="{{ base_url }}/js/highlight.pack.js"></script>
-        <script>var base_url = '{{ base_url }}';</script>
-        <script data-main="{{ base_url }}/mkdocs/js/search.js" src="{{ base_url }}/mkdocs/js/require.js"></script>
-        <script src="{{ base_url }}/js/base.js"></script>
-
-        <script>
-          function init() {
-            var imgDefer = document.getElementsByTagName('img');
-            for (var i=0; i<imgDefer.length; i++) {
-              if(imgDefer[i].getAttribute('data-src')) {
-                imgDefer[i].setAttribute('src',imgDefer[i].getAttribute('data-src'));
-              } } }
-          window.onload = init;
-        </script>
-
-        {%- for path in extra_javascript %}
-        <script src="{{ path }}"></script>
-        {%- endfor %}
-
-        <div class="modal" id="mkdocs_search_modal" tabindex="-1" role="dialog" aria-labelledby="Search Modal" aria-hidden="true">
-            <div class="modal-dialog">
-                <div class="modal-content">
-                    <div class="modal-header">
-                        <button type="button" class="close" data-dismiss="modal"><span aria-hidden="true">&times;</span><span class="sr-only">Close</span></button>
-                        <h4 class="modal-title" id="exampleModalLabel">Search</h4>
-                    </div>
-                    <div class="modal-body">
-                        <p>
-                            From here you can search these documents. Enter
-                            your search terms below.
-                        </p>
-                        <form role="form">
-                            <div class="form-group">
-                                <input type="text" class="form-control" placeholder="Search..." id="mkdocs-search-query">
-                            </div>
-                        </form>
-                        <div id="mkdocs-search-results"></div>
-                    </div>
-                    <div class="modal-footer">
-                    </div>
-                </div>
-            </div>
-        </div>
-
-    </body>
-</html>
-{% if current_page and current_page.is_homepage %}
-<!--
-MkDocs version : {{ mkdocs_version }}
-Build Date UTC : {{ build_date_utc }}
--->
-{% endif %}

web/harvey-theme/css/base.css

@@ -1,347 +0,0 @@
-body {
-    padding-top: 70px;
-    color: #333;
-    font-size: 1.6em;
-    line-height: 1.6em;
-}
-
-body > div.container {
-    min-height: 400px;
-}
-
-body.homepage li.active { display: none; }
-
-ul.nav li.main {
-    font-weight: bold;
-}
-
-div.col-md-3 {
-    padding-left: 0;
-}
-
-div.col-md-9 {
-    padding-bottom: 1em;
-}
-
-div.source-links {
-    float: right;
-}
-
-div.col-md-9 img {
-    max-width: 100%;
-    display: inline;
-    padding: 4px;
-    line-height: 1.428571429;
-    background-color: #fff;
-    border-radius: 4px;
-    margin: 20px auto 30px auto;
-}
-
-div.lazy img { margin:0;}
-
-blockquote { background-color: #eee; color: #777;}
-blockquote p {font-size: 1em;}
-
-h1 { color: #000; margin-top: 0.25em;} 
-
-h2, h3 { color: #666; }
-
-h1[id]:before, h2[id]:before, h3[id]:before, h4[id]:before, h5[id]:before, h6[id]:before {
-    content: "";
-    display: block;
-    margin-top: -75px;
-    height: 75px;
-    pointer-events: none;
-}
-
-h1 {
-    font-weight: 400;
-    font-size: 42px;
-}
-
-h2, h3, h4, h5, h6 {
-    font-weight: 300;
-}
-
-hr {
-    border-top: 1px solid #ccc;
-    margin-bottom: 1em;
-}
-
-pre, .rst-content tt {
-    max-width: 100%;
-    background: #fff;
-    border: solid 1px #e1e4e5;
-    color: #e74c3c;
-    overflow-x: auto;
-}
-
-code.code-large, .rst-content tt.code-large {
-    font-size: 90%;
-}
-
-code {
-    padding: 2px 5px;
-    color: #c7254e;
-    background-color: #f9f2f4;
-    font-size: 75%;
-}
-
-code, kbd, pre, samp  {
-    font-family: monospace,serif;
-    font-size: 12px !important;
-}
-
-footer {
-    margin-top: 0;
-    margin-bottom: 10px;
-    text-align: center;
-    font-weight: 200;
-}
-
-footer p  {
-    color: #ddd;
-    text-align: center; 
-    
-}
-
-.modal-dialog {
-    margin-top: 60px;
-}
-
-/*
- * Side navigation
- *
- * Scrollspy and affixed enhanced navigation to highlight sections and secondary
- * sections of docs content.
- */
-
-/* By default it's not affixed in mobile views, so undo that */
-.bs-sidebar.affix {
-    position: static;
-}
-
-.bs-sidebar.well {
-    padding: 0;
-}
-
-/* First level of nav */
-.bs-sidenav {
-    padding-top:    10px;
-    padding-bottom: 10px;
-    border-radius: 5px;
-}
-
-/* All levels of nav */
-.bs-sidebar .nav > li > a {
-    display: block;
-    padding: 5px 20px;
-    z-index: 1;
-}
-.bs-sidebar .nav > li > a:hover,
-.bs-sidebar .nav > li > a:focus {
-    text-decoration: none;
-    border-right: 1px solid;
-}
-.bs-sidebar .nav > .active > a,
-.bs-sidebar .nav > .active:hover > a,
-.bs-sidebar .nav > .active:focus > a {
-    font-weight: bold;
-    background-color: transparent;
-    border-right: 1px solid;
-}
-
-/* Nav: second level (shown on .active) */
-.bs-sidebar .nav .nav {
-    display: none; /* Hide by default, but at >768px, show it */
-    margin-bottom: 8px;
-}
-.bs-sidebar .nav .nav > li > a {
-    padding-top:    3px;
-    padding-bottom: 3px;
-    padding-left: 30px;
-    font-size: 90%;
-}
-
-.bs-sidebar { display: none; }
-
-
-
-/* Changes default Boostrap3 breakpoint at 768px  */
-/* (harvey-os.org menu uses quite a bit of space: screens < 992px get the mobile one) */
-@media (min-width: 768px) and (max-width: 992px) { 
-
-    .container {
-    padding-right: 0;
-    padding-left: 15px;
-    margin-right: auto;
-    margin-left: auto;
-    width: inherit;
-    }
-   .navbar-header {
-        float: none;
-    }   
-    .navbar-left,.navbar-right {
-        float: none !important;
-    } 
-
-    .navbar-toggle {
-        display: block;
-    }
-    .navbar-collapse {
-        border-top: 1px solid transparent;
-        box-shadow: inset 0 1px 0 rgba(255,255,255,0.1);
-    }
-    .navbar-fixed-top {
-    top: 0;
-    border-width: 0 0 1px;
-    }  
-    .navbar-collapse.collapse {
-        display: none!important;
-    }
-    .navbar-nav {
-        float: none!important;
-    margin-top: 7.5px;
-  }
-  .navbar-nav>li {
-        float: none;
-    }
-    .navbar-nav>li>a {
-        padding-top: 10px;
-        padding-bottom: 10px;
-    }
-    .collapse.in{
-      display:block !important;
-  }
-
-
-}
-
-/* Show and affix the side nav when space allows it */
-@media (min-width: 992px) { 
-
-
-    .bs-sidebar { display: block; }
-
-
-    .bs-sidebar .nav > .active > ul {
-        display: block;
-    }
-    /* Widen the fixed sidebar */
-    .bs-sidebar.affix,
-    .bs-sidebar.affix-bottom {
-        width: 213px;
-    }
-    .bs-sidebar.affix {
-        position: fixed; /* Undo the static from mobile first approach */
-        top: 80px;
-    }
-    .bs-sidebar.affix-bottom {
-        position: absolute; /* Undo the static from mobile first approach */
-    }
-    .bs-sidebar.affix-bottom .bs-sidenav,
-    .bs-sidebar.affix .bs-sidenav {
-        margin-top: 0;
-        margin-bottom: 0;
-    }
-}
-@media (min-width: 1200px) {
-    /* Widen the fixed sidebar again */
-    .bs-sidebar.affix-bottom,
-    .bs-sidebar.affix {
-        width: 263px;
-    }
-}
-
-.headerlink {
-    font-family: FontAwesome;
-    font-size: 14px;
-    display: none;
-    padding-left: .5em;
-}
-
-h1:hover .headerlink, h2:hover .headerlink, h3:hover .headerlink, h4:hover .headerlink, h5:hover .headerlink, h6:hover .headerlink{
-    display:inline-block;
-}
-
-
-
-.admonition {
-    padding: 15px;
-    margin-bottom: 20px;
-    border: 1px solid transparent;
-    border-radius: 4px;
-    text-align: left;
-}
-
-.admonition.note {
-    color: #3a87ad;
-    background-color: #d9edf7;
-    border-color: #bce8f1;
-}
-
-.admonition.warning {
-    color: #c09853;
-    background-color: #fcf8e3;
-    border-color: #fbeed5;
-}
-
-.admonition.danger {
-    color: #b94a48;
-    background-color: #f2dede;
-    border-color: #eed3d7;
-}
-
-.admonition-title {
-    font-weight: bold;
-    text-align: left;
-}
-
-
-.dropdown-submenu {
-    position: relative;
-}
-
-.dropdown-submenu>.dropdown-menu {
-    top: 0;
-    left: 100%;
-    margin-top: -6px;
-    margin-left: -1px;
-    -webkit-border-radius: 0 6px 6px 6px;
-    -moz-border-radius: 0 6px 6px;
-    border-radius: 0 6px 6px 6px;
-}
-
-.dropdown-submenu:hover>.dropdown-menu {
-    display: block;
-}
-
-.dropdown-submenu>a:after {
-    display: block;
-    content: " ";
-    float: right;
-    width: 0;
-    height: 0;
-    border-color: transparent;
-    border-style: solid;
-    border-width: 5px 0 5px 5px;
-    border-left-color: #ccc;
-    margin-top: 5px;
-    margin-right: -10px;
-}
-
-.dropdown-submenu:hover>a:after {
-    border-left-color: #fff;
-}
-
-.dropdown-submenu.pull-left {
-    float: none;
-}
-
-.dropdown-submenu.pull-left>.dropdown-menu {
-    left: -100%;
-    margin-left: 10px;
-    -webkit-border-radius: 6px 0 6px 6px;
-    -moz-border-radius: 6px 0 6px 6px;
-    border-radius: 6px 0 6px 6px;
-}

web/mkdocs.yml

@@ -1,21 +0,0 @@
-site_name: Harvey OS
-site_description: A 64 bit Operating System based on Plan 9 from Bell Labs and NIX, under GPL
-site_url: http://harvey-os.org
-site_favicon: img/favicon.png
-# copyright
-# google_analytics
-pages:
-  - Home: index.md
-  - About: about.md 
-#  - Usenix: usenix.md
-  - News: news.md
-  - Download: download.md
-  - Community: community.md
-  - Blog : blog.md
-#  - Documentation: 
-#    - FAQ: docs/faq.md
-#    - Getting started: docs/getting-started.md
-#    - Manual: docs/manual.md
-theme: journal 
-theme_dir: harvey-theme 
-repo_url: https://github.com/Harvey-OS/harvey

web/runlocal.sh

@@ -1,7 +0,0 @@
-#!/bin/bash
-
-[ x"$HARVEY" != x ] && cd $HARVEY/web
-mkdocs serve && exit 0 
-echo "#### we need mkdocs: use pip install mkdocs"
-
-