summaryrefslogtreecommitdiff
path: root/doc/user
diff options
context:
space:
mode:
authorLudovic Court`es2006-08-29 16:11:59 +0000
committerLudovic Court`es2006-08-29 16:11:59 +0000
commit16185de44e3253dfad40d3b8c994479e1187812f (patch)
tree7e666be4ba093e51243cf0e77f2b0ab8048b8114 /doc/user
parent45f7542c220b4c266ef975603726436abf4b41dd (diff)
downloadskribilo-16185de44e3253dfad40d3b8c994479e1187812f.tar.gz
skribilo-16185de44e3253dfad40d3b8c994479e1187812f.tar.lz
skribilo-16185de44e3253dfad40d3b8c994479e1187812f.zip
Tiny Arch inventory fix.
git-archimport-id: lcourtes@laas.fr--2005-libre/skribilo--devo--1.2--patch-48
Diffstat (limited to 'doc/user')
-rw-r--r--doc/user/.arch-inventory2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/user/.arch-inventory b/doc/user/.arch-inventory
index 52f57b5..c91230c 100644
--- a/doc/user/.arch-inventory
+++ b/doc/user/.arch-inventory
@@ -1,4 +1,4 @@
# Skribilo-generated files.
-precious ^user(-[0-9]+)?\.(html|ps)$
+precious ^(user(-[0-9]+)?\.(html|ps|pdf|li|lout|lout\.ld)|doc-config\.scm|(bsd|linux|lambda|pie-.*|eq-.*)\.(png|eps))$
# arch-tag: 827d1e94-1b36-474e-bcdb-a4235b4af848