From 8dcabedd60b7eeb1e0c4b4851947b1ecfdb3b6d8 Mon Sep 17 00:00:00 2001 From: opalang Date: Wed, 3 Oct 2012 12:17:57 +0300 Subject: [PATCH] [doc] README: removed a part about the doc folder Since the manual is now on github wiki, we remove the part describing the doc folder --- README.md | 3 --- 1 file changed, 3 deletions(-) diff --git a/README.md b/README.md index 61e52c56..95a9e05e 100644 --- a/README.md +++ b/README.md @@ -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: