From 9deaeded7441ccfaefe152aacb40de5cef79efcf Mon Sep 17 00:00:00 2001 From: marcelklehr Date: Wed, 12 Sep 2012 08:45:07 -0700 Subject: [PATCH] Updated Developer Guidelines (markdown) --- Developer-Guidelines.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Developer-Guidelines.md b/Developer-Guidelines.md index caef06e..d83c8ce 100644 --- a/Developer-Guidelines.md +++ b/Developer-Guidelines.md @@ -50,4 +50,4 @@ The docs are in the `doc/` folder in the git repository, so people can easily fi Documentation should be kept up-to-date. This means, whenever you add a new API method, add a new hook or change the database model, pack the relevant changes to the docs in the same pull request. -There are recipes available in the makefile, which allow you to build the docs (e.g. produce html). At some point in the future we will provide an online documentation. The current documentation in the github wiki should always reflect the state of `master` (!), since there are no docs in master, yet. \ No newline at end of file +You can build the docs e.g. produce html, using `make docs`. At some point in the future we will provide an online documentation. The current documentation in the github wiki should always reflect the state of `master` (!), since there are no docs in master, yet. \ No newline at end of file