diff --git a/website/copydocs b/website/copydocs index a3f28abf..0acb8a89 100644 --- a/website/copydocs +++ b/website/copydocs @@ -1,6 +1,6 @@ #!/bin/sh set -x -docdir=/home/dockes/projets/fulltext/17-MAINT/src/doc/user/ +docdir=/home/dockes/projets/fulltext/recoll/src/doc/user/ #docdir=/Users/dockes/projets/fulltext/recoll/src/doc/user/ #(cd $docdir;make) || exit 1