Skip to content

Commit

Permalink
[doc] README: removed a part about the doc folder
Browse files Browse the repository at this point in the history
Since the manual is now on github wiki, we remove the part describing the doc folder
  • Loading branch information
opalang committed Oct 3, 2012
1 parent 8705cd2 commit 8dcabed
Showing 1 changed file with 0 additions and 3 deletions.
3 changes: 0 additions & 3 deletions README.md
Expand Up @@ -53,9 +53,6 @@ Details of the doc directory:
* copyright: some copyright information used in our binary package, which
includes external software (as obtained from the dependency installation
helper)
* manual.omd: source of the Opa manual available in various languages (currently English and Chinese) viewable at [doc.opalang.org](http://doc.opalang.org)
* manual.src: source code of the examples of the manual
* `*.omd`: custom markdown file format (aka. Opa markdown)
* `*-LICENSE`: licenses used by the Opa project

Details of the tools directory:
Expand Down

0 comments on commit 8dcabed

Please sign in to comment.