diff --git a/dedukti.cabal b/dedukti.cabal
--- a/dedukti.cabal
+++ b/dedukti.cabal
@@ -1,5 +1,5 @@
 name:           dedukti
-version:        1.0.2
+version:        1.0.3
 author:         Mathieu Boespflug
 maintainer:     Mathieu Boespflug <mboes@lix.polytechnique.fr>
 copyright:      © 2009 CNRS - École Polytechnique - INRIA
@@ -30,11 +30,11 @@
                 t/nat.dk
                 t/peano.dk
                 t/plus.dk
+                scripts/dkrun
 extra-source-files:   doc/mkfile
                       doc/manual.texi.in
                       doc/fdl.texi
                       doc/references.texi
-		      scripts/dkrun
 
 
 executable dedukti
diff --git a/doc/manual.texi.in b/doc/manual.texi.in
--- a/doc/manual.texi.in
+++ b/doc/manual.texi.in
@@ -457,12 +457,14 @@
 @node Invoking dkrun
 @chapter Invoking @command{dkrun}
 
-@command{dkrun} is a wrapper script that invokes @command{ghci} with the
-appropriate flags on the Haskell source files (@file{.dko} files) given
-as arguments. If object files exist for the given @file{.dko} files,
-then these are loaded into memory and linked by the @command{ghci}
-linker. Otherwise the files are compiled to slower, interpreted bytecode
-by @command{ghci}.
+@command{dkrun} is a wrapper script@footnote{It can be found in the
+source distribution of dedukti or under the data directory of Cabal.
+Copy it somewhere in your path for convenience.} that invokes
+@command{ghci} with the appropriate flags on the Haskell source files
+(@file{.dko} files) given as arguments. If object files exist for the
+given @file{.dko} files, then these are loaded into memory and linked by
+the @command{ghci} linker. Otherwise the files are compiled to slower,
+interpreted bytecode by @command{ghci}.
 
 The first argument to @command{dkrun} is the @file{.dko} file
 corresponding to the module one wants to proof check. If a module has