summaryrefslogtreecommitdiff
path: root/doc/user
diff options
context:
space:
mode:
authorLudovic Courtes2006-02-10 17:28:11 +0000
committerLudovic Courtes2006-02-10 17:28:11 +0000
commit22c743d1c7c72ad97adf2621561da22c9344c651 (patch)
tree32c5b51e64f31017175d6b6671e2ce0e1341bade /doc/user
parent7a9d79a1b8e69f2049de42c65093fef0a06610a5 (diff)
parent5a05a0fe9bfc54af7cb455f2b8350984b075ece0 (diff)
downloadskribilo-22c743d1c7c72ad97adf2621561da22c9344c651.tar.gz
skribilo-22c743d1c7c72ad97adf2621561da22c9344c651.tar.lz
skribilo-22c743d1c7c72ad97adf2621561da22c9344c651.zip
Merge from lcourtes@laas.fr--2005-mobile
Patches applied: * lcourtes@laas.fr--2005-mobile/skribilo--devel--1.2 (patch 32-33) - Merge from lcourtes@laas.fr--2004-libre - Fixed syntax highlighting thanks to SILex. git-archimport-id: lcourtes@laas.fr--2004-libre/skribilo--devel--1.2--patch-41
Diffstat (limited to 'doc/user')
-rw-r--r--doc/user/user.skb2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/user/user.skb b/doc/user/user.skb
index 0c74e66..f4f6849 100644
--- a/doc/user/user.skb
+++ b/doc/user/user.skb
@@ -115,7 +115,7 @@ as HTML, Info pages, man pages, Postscript, etc.]))))
(include "bib.skb")
;;; Computer programs
-;;(include "prgm.skb")
+(include "prgm.skb")
;;; Standard Library
(include "lib.skb")