diff options
Diffstat (limited to 'htroot/IndexPackGenerator_p.html')
| -rw-r--r-- | htroot/IndexPackGenerator_p.html | 2 |
1 files changed, 1 insertions, 1 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> |