diff --git a/docs/faceted-search-userdoc.md b/docs/faceted-search-userdoc.md new file mode 100644 index 0000000000000000000000000000000000000000..e413f8e2756675c0db60a7f629b631fea3b16b07 --- /dev/null +++ b/docs/faceted-search-userdoc.md @@ -0,0 +1,21 @@ +# How to search + +After entering a search term a list of matching documents is presented. + +## Facets + +On the left side a list of terms is presented which allow to further filter the +result set. A facet could be presented like: + + Place of Publication + - Munich (14) + - Berlin (8) + +This tells that 14 documents have been published in Munich and 8 have been +published in Berlin. Clicking on the label name, e.g. "Munich" will just show +you the 14 documents which have been published in Munich. You could now apply +further filters, like on the "Publication Year". The filter can be removed with +clicking the small minus sign "-" in front of the selected term. If you do not +click on the term "Munich", but on the minus sign "-", all documents **not** +published in Munich are shown. After applying the filter, a small plus sign "+" +appears in front of the filter. This allows you to undo this filter again. diff --git a/repo.xml b/repo.xml index 0e0aef4ba07bf20b2a225c53de7f4b09e4940006..2851d16ac88ffaf0ba993d9bfb7928cc18a846fb 100644 --- a/repo.xml +++ b/repo.xml @@ -18,7 +18,7 @@