docs/overview.rst,omindex.cc: Allow --filter to handle commands
tree223f04984f5d52ae866e216ad5c977e50cf26a73
-rw-r--r-- 53 .gitignore
-rw-r--r-- 907 README
-rw-r--r-- 1840 Vagrantfile
-rwxr-xr-x 20672 bootstrap
drwxr-xr-x - config
drwxr-xr-x - patches
drwxr-xr-x - xapian-applications
drwxr-xr-x - xapian-bindings
drwxr-xr-x - xapian-core
drwxr-xr-x - xapian-data
drwxr-xr-x - xapian-letor
drwxr-xr-x - xapian-maintainer-tools