diff options
Diffstat (limited to 'scripts/make-search-index.js')
| -rw-r--r-- | scripts/make-search-index.js | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/scripts/make-search-index.js b/scripts/make-search-index.js index 635804b..1acc7cd 100644 --- a/scripts/make-search-index.js +++ b/scripts/make-search-index.js @@ -1,5 +1,21 @@ /* + * Copyright (C) 2023 University of Luxembourg + * + * Licensed under the Apache License, Version 2.0 (the "License"); you may not + * use this file except in compliance with the License. You may obtain a copy + * of the License from the LICENSE file in this repository, or at: + * + * http://www.apache.org/licenses/LICENSE-2.0 + * + * Unless required by applicable law or agreed to in writing, software + * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT + * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the + * License for the specific language governing permissions and limitations + * under the License. + */ + +/* * make-search-index.js * * This converts a "search data" file produced by the haskell site builder into |