From c5d2ff629c65ddda0e631a14c7cfc120b2faec23 Mon Sep 17 00:00:00 2001
From: Sergiu Ivanov <sivanov@colimite.fr>
Date: Sat, 16 May 2020 00:01:36 +0200
Subject: [PATCH] Explain how to install dds locally and use shorter require
 statements.

---
 example/example.org | 22 +++++++++++++++++++---
 1 file changed, 19 insertions(+), 3 deletions(-)

diff --git a/example/example.org b/example/example.org
index 6cb6761..6ed7a8b 100644
--- a/example/example.org
+++ b/example/example.org
@@ -1,6 +1,6 @@
 #+TITLE: Examples of usage of =dds=
 
-#+PROPERTY: header-args:racket :prologue "#lang racket\n(require graph (file \"~/Candies/prj/racket/dds/networks.rkt\") (file \"~/Candies/prj/racket/dds/utils.rkt\"))"
+#+PROPERTY: header-args:racket :prologue "#lang racket\n(require graph dds/networks.rkt dds/utils.rkt)"
 
 * Introduction
   This document shows some examples of usage of the modules in =dds=
@@ -15,7 +15,23 @@
   submodules of =dds=.
 
 * Org-mode, Racket, and =dds= <<intro>>
-** Importing a module from file
+** Installing =dds= locally
+   To install =dds= locally, you can simply run the following command
+   in [[/home/scolobb/Candies/prj/racket/dds/][=dds=]].
+
+   #+BEGIN_SRC shell
+raco pkg install
+   #+END_SRC
+
+   After this installation, you can import =dds= modules by simply
+   doing the following:
+   #+BEGIN_SRC racket :results output drawer
+#lang racket
+(file dds/networks)
+(file dds/utils)
+   #+END_SRC
+
+** Importing a module from file                                         :old:
    :PROPERTIES:
    :header-args:racket: :prologue "#lang racket\n(require (file \"~/Candies/prj/racket/dds/networks.rkt\"))"
    :END:
@@ -655,7 +671,7 @@ tab
 
 * Reaction systems
   :PROPERTIES:
-  :header-args:racket: :prologue "#lang racket\n(require graph (file \"~/Candies/prj/racket/dds/rs.rkt\") (file \"~/Candies/prj/racket/dds/utils.rkt\"))"
+  :header-args:racket: :prologue "#lang racket\n(require graph dds/rs dds/utils)"
   :END:
   Consider the following reaction system:
   #+NAME: rs1