diff options
| -rw-r--r-- | htroot/IndexPackGenerator_p.html | 2 | ||||
| -rw-r--r-- | source/net/yacy/htroot/IndexPackGenerator_p.java | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/htroot/IndexPackGenerator_p.html b/htroot/IndexPackGenerator_p.html index 750e4fed9..2b2bc716c 100644 --- a/htroot/IndexPackGenerator_p.html +++ b/htroot/IndexPackGenerator_p.html @@ -23,7 +23,7 @@ <option value="mix" selected="selected">mix - a mix of document types, for content from wide web crawls</option> <option value="core">core - technical documentation, operation systems, computer hardware, open source and free software, manuals, protocol standards</option> <option value="scroll">scroll - non-technical documents: knowledge, encyclopedia, linguistic corpora, dictionaries, translation memories, texts, non-fiction books, historical books</option> - <option value="codex">codex - non-technical standards: industry standards, laws, rules, compliance</option> + <option value="regula">regula - non-technical standards: industry standards, laws, rules, compliance</option> <option value="gem">gem - research, papers, university publications, science</option> <option value="fiction">fiction - fictional documents: movies, stories, series, books (fiction, science-fiction)</option> <option value="map">map - geological data, geolocation-data, earth/world information</option> diff --git a/source/net/yacy/htroot/IndexPackGenerator_p.java b/source/net/yacy/htroot/IndexPackGenerator_p.java index d1f4bc09c..056f323f4 100644 --- a/source/net/yacy/htroot/IndexPackGenerator_p.java +++ b/source/net/yacy/htroot/IndexPackGenerator_p.java @@ -177,7 +177,7 @@ public class IndexPackGenerator_p { final long now = System.currentTimeMillis(); final long doccount = sb.index.fulltext().getDefaultConnector().getCountByQuery(query); if (doccount == 0) throw new IOException("number of exported documents == 0"); - final String category = post.get("category", "scroll"); // core, scroll, codex, gem, fiction, map, echo, spirit, vault + final String category = post.get("category", "scroll"); // core, scroll, regula, gem, fiction, map, echo, spirit, vault final String tier = "common"; // common, uncommon, rare, epic, legendary, legendary final String origin = "web"; // web, synth, String slug = post.get("slug", "export").trim().replaceAll(" ", "-"); |