aboutsummaryrefslogtreecommitdiff
path: root/doc/Makefile.dir
diff options
context:
space:
mode:
authorLudovic Court`es2006-07-11 14:39:13 +0000
committerLudovic Court`es2006-07-11 14:39:13 +0000
commit4420b6ce4292ae201a95c8ad22a9cc233aa7437a (patch)
tree1ab81fc3f54ae70d20f6afb4e638fda86ba9441d /doc/Makefile.dir
parent6e7e437baa733554af1f452ad6c1d28f6702675f (diff)
downloadskribilo-4420b6ce4292ae201a95c8ad22a9cc233aa7437a.tar.gz
skribilo-4420b6ce4292ae201a95c8ad22a9cc233aa7437a.tar.lz
skribilo-4420b6ce4292ae201a95c8ad22a9cc233aa7437a.zip
By default, use (internally) a reader that does not record positions.
* src/guile/skribilo/utils/syntax.scm (%skribilo-module-reader): If debugging is not required (default), create a reader that does not record positions. * src/skribilo.in: Don't pass `--debug' by default. git-archimport-id: lcourtes@laas.fr--2005-libre/skribilo--devo--1.2--patch-4
Diffstat (limited to 'doc/Makefile.dir')
0 files changed, 0 insertions, 0 deletions