Adjust license notice per FSF recommendations

The FSF recommends mentioning explicitly that each file is part of
quick-lint-js:

> For programs that are more than one file, it is better to [...] begin
> the statement with a line saying "This file is part of NAME".

https://www.gnu.org/licenses/gpl-howto.html

Change our license notice to mention "THis file is part of quick-lint-js".

.clang-format

@@ -13,6 +13,8 @@ IndentCaseLabels: false
 # quick-lint-js finds bugs in JavaScript programs.
 # Copyright (C) 2020  Matthew Glazar
 #
+# This file is part of quick-lint-js.
+#
 # quick-lint-js is free software: you can redistribute it and/or modify
 # it under the terms of the GNU General Public License as published by
 # the Free Software Foundation, either version 3 of the License, or

.github/workflows/build-and-test-dev-env-nix.yml

@@ -42,6 +42,8 @@ jobs:
 # quick-lint-js finds bugs in JavaScript programs.
 # Copyright (C) 2020  Matthew Glazar
 #
+# This file is part of quick-lint-js.
+#
 # quick-lint-js is free software: you can redistribute it and/or modify
 # it under the terms of the GNU General Public License as published by
 # the Free Software Foundation, either version 3 of the License, or

.github/workflows/build-and-test-dev.yml

@@ -61,6 +61,8 @@ jobs:
 # quick-lint-js finds bugs in JavaScript programs.
 # Copyright (C) 2020  Matthew Glazar
 #
+# This file is part of quick-lint-js.
+#
 # quick-lint-js is free software: you can redistribute it and/or modify
 # it under the terms of the GNU General Public License as published by
 # the Free Software Foundation, either version 3 of the License, or

.github/workflows/build-and-test-plugin-vscode.yml

@@ -78,6 +78,8 @@ jobs:
 # quick-lint-js finds bugs in JavaScript programs.
 # Copyright (C) 2020  Matthew Glazar
 #
+# This file is part of quick-lint-js.
+#
 # quick-lint-js is free software: you can redistribute it and/or modify
 # it under the terms of the GNU General Public License as published by
 # the Free Software Foundation, either version 3 of the License, or

.github/workflows/build-and-test-web-demo.yml

@@ -63,6 +63,8 @@ jobs:
 # quick-lint-js finds bugs in JavaScript programs.
 # Copyright (C) 2020  Matthew Glazar
 #
+# This file is part of quick-lint-js.
+#
 # quick-lint-js is free software: you can redistribute it and/or modify
 # it under the terms of the GNU General Public License as published by
 # the Free Software Foundation, either version 3 of the License, or

.github/workflows/build-and-test.yml

@@ -68,6 +68,8 @@ jobs:
 # quick-lint-js finds bugs in JavaScript programs.
 # Copyright (C) 2020  Matthew Glazar
 #
+# This file is part of quick-lint-js.
+#
 # quick-lint-js is free software: you can redistribute it and/or modify
 # it under the terms of the GNU General Public License as published by
 # the Free Software Foundation, either version 3 of the License, or

.github/workflows/build-static.yml

@@ -247,6 +247,8 @@ jobs:
 # quick-lint-js finds bugs in JavaScript programs.
 # Copyright (C) 2020  Matthew Glazar
 #
+# This file is part of quick-lint-js.
+#
 # quick-lint-js is free software: you can redistribute it and/or modify
 # it under the terms of the GNU General Public License as published by
 # the Free Software Foundation, either version 3 of the License, or

.github/workflows/check-copyright.yml

@@ -28,6 +28,8 @@ jobs:
 # quick-lint-js finds bugs in JavaScript programs.
 # Copyright (C) 2020  Matthew Glazar
 #
+# This file is part of quick-lint-js.
+#
 # quick-lint-js is free software: you can redistribute it and/or modify
 # it under the terms of the GNU General Public License as published by
 # the Free Software Foundation, either version 3 of the License, or

.github/workflows/check-format.yml

@@ -30,6 +30,8 @@ jobs:
 # quick-lint-js finds bugs in JavaScript programs.
 # Copyright (C) 2020  Matthew Glazar
 #
+# This file is part of quick-lint-js.
+#
 # quick-lint-js is free software: you can redistribute it and/or modify
 # it under the terms of the GNU General Public License as published by
 # the Free Software Foundation, either version 3 of the License, or

.github/workflows/debian-package.yml

@@ -108,6 +108,8 @@ jobs:
 # quick-lint-js finds bugs in JavaScript programs.
 # Copyright (C) 2020  Matthew Glazar
 #
+# This file is part of quick-lint-js.
+#
 # quick-lint-js is free software: you can redistribute it and/or modify
 # it under the terms of the GNU General Public License as published by
 # the Free Software Foundation, either version 3 of the License, or

.github/workflows/deploy-website.yml

@@ -40,6 +40,8 @@ jobs:
 # quick-lint-js finds bugs in JavaScript programs.
 # Copyright (C) 2020  Matthew Glazar
 #
+# This file is part of quick-lint-js.
+#
 # quick-lint-js is free software: you can redistribute it and/or modify
 # it under the terms of the GNU General Public License as published by
 # the Free Software Foundation, either version 3 of the License, or

.github/workflows/simple-build.yml

@@ -39,6 +39,8 @@ jobs:
 # quick-lint-js finds bugs in JavaScript programs.
 # Copyright (C) 2020  Matthew Glazar
 #
+# This file is part of quick-lint-js.
+#
 # quick-lint-js is free software: you can redistribute it and/or modify
 # it under the terms of the GNU General Public License as published by
 # the Free Software Foundation, either version 3 of the License, or

.github/workflows/tag-build.yml

@@ -24,6 +24,8 @@ jobs:
 # quick-lint-js finds bugs in JavaScript programs.
 # Copyright (C) 2020  Matthew Glazar
 #
+# This file is part of quick-lint-js.
+#
 # quick-lint-js is free software: you can redistribute it and/or modify
 # it under the terms of the GNU General Public License as published by
 # the Free Software Foundation, either version 3 of the License, or

.github/workflows/test-homebrew-package.yml

@@ -49,6 +49,8 @@ jobs:
 # quick-lint-js finds bugs in JavaScript programs.
 # Copyright (C) 2020  Matthew Glazar
 #
+# This file is part of quick-lint-js.
+#
 # quick-lint-js is free software: you can redistribute it and/or modify
 # it under the terms of the GNU General Public License as published by
 # the Free Software Foundation, either version 3 of the License, or

.github/workflows/test-install.yml

@@ -38,6 +38,8 @@ jobs:
 # quick-lint-js finds bugs in JavaScript programs.
 # Copyright (C) 2020  Matthew Glazar
 #
+# This file is part of quick-lint-js.
+#
 # quick-lint-js is free software: you can redistribute it and/or modify
 # it under the terms of the GNU General Public License as published by
 # the Free Software Foundation, either version 3 of the License, or

.github/workflows/test-nix-install.yml

@@ -35,6 +35,8 @@ jobs:
 # quick-lint-js finds bugs in JavaScript programs.
 # Copyright (C) 2020  Matthew Glazar
 #
+# This file is part of quick-lint-js.
+#
 # quick-lint-js is free software: you can redistribute it and/or modify
 # it under the terms of the GNU General Public License as published by
 # the Free Software Foundation, either version 3 of the License, or

.github/workflows/test-vim-plugin.yml

@@ -57,6 +57,8 @@ jobs:
 # quick-lint-js finds bugs in JavaScript programs.
 # Copyright (C) 2020  Matthew Glazar
 #
+# This file is part of quick-lint-js.
+#
 # quick-lint-js is free software: you can redistribute it and/or modify
 # it under the terms of the GNU General Public License as published by
 # the Free Software Foundation, either version 3 of the License, or

CMakeLists.txt

@@ -40,6 +40,8 @@ endif ()
 # quick-lint-js finds bugs in JavaScript programs.
 # Copyright (C) 2020  Matthew Glazar
 #
+# This file is part of quick-lint-js.
+#
 # quick-lint-js is free software: you can redistribute it and/or modify
 # it under the terms of the GNU General Public License as published by
 # the Free Software Foundation, either version 3 of the License, or

Formula/quick-lint-js.rb

@@ -25,6 +25,8 @@ def install
 # quick-lint-js finds bugs in JavaScript programs.
 # Copyright (C) 2020  Matthew Glazar
 #
+# This file is part of quick-lint-js.
+#
 # quick-lint-js is free software: you can redistribute it and/or modify
 # it under the terms of the GNU General Public License as published by
 # the Free Software Foundation, either version 3 of the License, or

benchmark/CMakeLists.txt

@@ -69,6 +69,8 @@ target_link_libraries(quick-lint-js-benchmark-support PUBLIC quick-lint-js-lib)
 # quick-lint-js finds bugs in JavaScript programs.
 # Copyright (C) 2020  Matthew Glazar
 #
+# This file is part of quick-lint-js.
+#
 # quick-lint-js is free software: you can redistribute it and/or modify
 # it under the terms of the GNU General Public License as published by
 # the Free Software Foundation, either version 3 of the License, or

benchmark/benchmark-cli-location.cpp

@@ -73,6 +73,8 @@ BENCHMARK(benchmark_location_realisticish)->Arg(1)->Arg(50);
 // quick-lint-js finds bugs in JavaScript programs.
 // Copyright (C) 2020  Matthew Glazar
 //
+// This file is part of quick-lint-js.
+//
 // quick-lint-js is free software: you can redistribute it and/or modify
 // it under the terms of the GNU General Public License as published by
 // the Free Software Foundation, either version 3 of the License, or

benchmark/benchmark-lex.cpp

@@ -71,6 +71,8 @@ function buildFragment( elems, context, scripts, selection, ignored ) {
 // quick-lint-js finds bugs in JavaScript programs.
 // Copyright (C) 2020  Matthew Glazar
 //
+// This file is part of quick-lint-js.
+//
 // quick-lint-js is free software: you can redistribute it and/or modify
 // it under the terms of the GNU General Public License as published by
 // the Free Software Foundation, either version 3 of the License, or

benchmark/benchmark-lint.cpp

@@ -66,6 +66,8 @@ BENCHMARK(benchmark_parse_and_lint);
 // quick-lint-js finds bugs in JavaScript programs.
 // Copyright (C) 2020  Matthew Glazar
 //
+// This file is part of quick-lint-js.
+//
 // quick-lint-js is free software: you can redistribute it and/or modify
 // it under the terms of the GNU General Public License as published by
 // the Free Software Foundation, either version 3 of the License, or

benchmark/benchmark-lsp-document.cpp

@@ -56,6 +56,8 @@ BENCHMARK(benchmark_create_and_insert_single_characters);
 // quick-lint-js finds bugs in JavaScript programs.
 // Copyright (C) 2020  Matthew Glazar
 //
+// This file is part of quick-lint-js.
+//
 // quick-lint-js is free software: you can redistribute it and/or modify
 // it under the terms of the GNU General Public License as published by
 // the Free Software Foundation, either version 3 of the License, or

benchmark/benchmark-lsp-location.cpp

@@ -125,6 +125,8 @@ BENCHMARK(benchmark_from_position_realisticish)->Arg(1)->Arg(50);
 // quick-lint-js finds bugs in JavaScript programs.
 // Copyright (C) 2020  Matthew Glazar
 //
+// This file is part of quick-lint-js.
+//
 // quick-lint-js is free software: you can redistribute it and/or modify
 // it under the terms of the GNU General Public License as published by
 // the Free Software Foundation, either version 3 of the License, or

benchmark/benchmark-lsp.cpp

@@ -178,6 +178,8 @@ BENCHMARK(benchmark_lsp_tiny_change_on_large_document);
 // quick-lint-js finds bugs in JavaScript programs.
 // Copyright (C) 2020  Matthew Glazar
 //
+// This file is part of quick-lint-js.
+//
 // quick-lint-js is free software: you can redistribute it and/or modify
 // it under the terms of the GNU General Public License as published by
 // the Free Software Foundation, either version 3 of the License, or

benchmark/benchmark-parse.cpp

@@ -42,6 +42,8 @@ BENCHMARK(benchmark_parse);
 // quick-lint-js finds bugs in JavaScript programs.
 // Copyright (C) 2020  Matthew Glazar
 //
+// This file is part of quick-lint-js.
+//
 // quick-lint-js is free software: you can redistribute it and/or modify
 // it under the terms of the GNU General Public License as published by
 // the Free Software Foundation, either version 3 of the License, or

benchmark/benchmark-translation.cpp

@@ -143,6 +143,8 @@ BENCHMARK(benchmark_load_translations_and_find_miss);
 // quick-lint-js finds bugs in JavaScript programs.
 // Copyright (C) 2020  Matthew Glazar
 //
+// This file is part of quick-lint-js.
+//
 // quick-lint-js is free software: you can redistribute it and/or modify
 // it under the terms of the GNU General Public License as published by
 // the Free Software Foundation, either version 3 of the License, or

benchmark/benchmark-utf-8.cpp

@@ -56,6 +56,8 @@ BENCHMARK_CAPTURE(benchmark_advance_lsp_characters_in_utf_8, large_japanese,
 // quick-lint-js finds bugs in JavaScript programs.
 // Copyright (C) 2020  Matthew Glazar
 //
+// This file is part of quick-lint-js.
+//
 // quick-lint-js is free software: you can redistribute it and/or modify
 // it under the terms of the GNU General Public License as published by
 // the Free Software Foundation, either version 3 of the License, or

benchmark/benchmark-vim-location.cpp

@@ -73,6 +73,8 @@ BENCHMARK(benchmark_location_realisticish)->Arg(1)->Arg(50);
 // quick-lint-js finds bugs in JavaScript programs.
 // Copyright (C) 2020  Matthew Glazar
 //
+// This file is part of quick-lint-js.
+//
 // quick-lint-js is free software: you can redistribute it and/or modify
 // it under the terms of the GNU General Public License as published by
 // the Free Software Foundation, either version 3 of the License, or

benchmark/generate-code.cpp

@@ -110,6 +110,8 @@ void partial_shuffle(std::vector<T> &items, std::mt19937_64 &rng, int rounds) {
 // quick-lint-js finds bugs in JavaScript programs.
 // Copyright (C) 2020  Matthew Glazar
 //
+// This file is part of quick-lint-js.
+//
 // quick-lint-js is free software: you can redistribute it and/or modify
 // it under the terms of the GNU General Public License as published by
 // the Free Software Foundation, either version 3 of the License, or

benchmark/quick-lint-js/generate-code.h

@@ -36,6 +36,8 @@ source_code_with_spans make_realisticish_code(int line_count, int span_count);
 // quick-lint-js finds bugs in JavaScript programs.
 // Copyright (C) 2020  Matthew Glazar
 //
+// This file is part of quick-lint-js.
+//
 // quick-lint-js is free software: you can redistribute it and/or modify
 // it under the terms of the GNU General Public License as published by
 // the Free Software Foundation, either version 3 of the License, or

cmake/QuickLintJSCompiler.cmake

@@ -164,6 +164,8 @@ endfunction ()
 # quick-lint-js finds bugs in JavaScript programs.
 # Copyright (C) 2020  Matthew Glazar
 #
+# This file is part of quick-lint-js.
+#
 # quick-lint-js is free software: you can redistribute it and/or modify
 # it under the terms of the GNU General Public License as published by
 # the Free Software Foundation, either version 3 of the License, or

cmake/QuickLintJSCopyright.cmake

@@ -88,6 +88,8 @@ endfunction ()
 # quick-lint-js finds bugs in JavaScript programs.
 # Copyright (C) 2020  Matthew Glazar
 #
+# This file is part of quick-lint-js.
+#
 # quick-lint-js is free software: you can redistribute it and/or modify
 # it under the terms of the GNU General Public License as published by
 # the Free Software Foundation, either version 3 of the License, or

cmake/QuickLintJSTarget.cmake

@@ -25,6 +25,8 @@ endfunction ()
 # quick-lint-js finds bugs in JavaScript programs.
 # Copyright (C) 2020  Matthew Glazar
 #
+# This file is part of quick-lint-js.
+#
 # quick-lint-js is free software: you can redistribute it and/or modify
 # it under the terms of the GNU General Public License as published by
 # the Free Software Foundation, either version 3 of the License, or

default.nix

@@ -16,6 +16,8 @@
 # quick-lint-js finds bugs in JavaScript programs.
 # Copyright (C) 2020  Matthew Glazar
 #
+# This file is part of quick-lint-js.
+#
 # quick-lint-js is free software: you can redistribute it and/or modify
 # it under the terms of the GNU General Public License as published by
 # the Free Software Foundation, either version 3 of the License, or

dist/debian/apt-ftparchive.conf

@@ -36,6 +36,8 @@ Tree "dists/experimental" {
 # quick-lint-js finds bugs in JavaScript programs.
 # Copyright (C) 2020  Matthew Glazar
 #
+# This file is part of quick-lint-js.
+#
 # quick-lint-js is free software: you can redistribute it and/or modify
 # it under the terms of the GNU General Public License as published by
 # the Free Software Foundation, either version 3 of the License, or

dist/debian/build.sh

@@ -30,6 +30,8 @@ lintian quick-lint-js-vim_0.1.0-1_all.deb
 # quick-lint-js finds bugs in JavaScript programs.
 # Copyright (C) 2020  Matthew Glazar
 #
+# This file is part of quick-lint-js.
+#
 # quick-lint-js is free software: you can redistribute it and/or modify
 # it under the terms of the GNU General Public License as published by
 # the Free Software Foundation, either version 3 of the License, or

dist/debian/sync-releases-to-apt

@@ -89,6 +89,8 @@ main
 # quick-lint-js finds bugs in JavaScript programs.
 # Copyright (C) 2020  Matthew Glazar
 #
+# This file is part of quick-lint-js.
+#
 # quick-lint-js is free software: you can redistribute it and/or modify
 # it under the terms of the GNU General Public License as published by
 # the Free Software Foundation, either version 3 of the License, or

dist/nix/quick-lint-js.nix

@@ -38,6 +38,8 @@ mkDerivation {
 # quick-lint-js finds bugs in JavaScript programs.
 # Copyright (C) 2020  Matthew Glazar
 #
+# This file is part of quick-lint-js.
+#
 # quick-lint-js is free software: you can redistribute it and/or modify
 # it under the terms of the GNU General Public License as published by
 # the Free Software Foundation, either version 3 of the License, or

dist/nix/shell.nix

@@ -18,6 +18,8 @@
 # quick-lint-js finds bugs in JavaScript programs.
 # Copyright (C) 2020  Matthew Glazar
 #
+# This file is part of quick-lint-js.
+#
 # quick-lint-js is free software: you can redistribute it and/or modify
 # it under the terms of the GNU General Public License as published by
 # the Free Software Foundation, either version 3 of the License, or

dist/npm/preinstall.js

@@ -32,6 +32,8 @@ fs.chmodSync(
 // quick-lint-js finds bugs in JavaScript programs.
 // Copyright (C) 2020  Matthew Glazar
 //
+// This file is part of quick-lint-js.
+//
 // quick-lint-js is free software: you can redistribute it and/or modify
 // it under the terms of the GNU General Public License as published by
 // the Free Software Foundation, either version 3 of the License, or

docs/CMakeLists.txt

@@ -12,6 +12,8 @@ install(
 # quick-lint-js finds bugs in JavaScript programs.
 # Copyright (C) 2020  Matthew Glazar
 #
+# This file is part of quick-lint-js.
+#
 # quick-lint-js is free software: you can redistribute it and/or modify
 # it under the terms of the GNU General Public License as published by
 # the Free Software Foundation, either version 3 of the License, or

docs/quick-lint-js.1

@@ -180,6 +180,8 @@ Errors for \fIlib/pizza\-dough.js\fR will include \fI"bufnr":3\fR in the output
 .\" quick-lint-js finds bugs in JavaScript programs.
 .\" Copyright (C) 2020  Matthew Glazar
 .\"
+.\" This file is part of quick-lint-js.
+.\"
 .\" quick-lint-js is free software: you can redistribute it and/or modify
 .\" it under the terms of the GNU General Public License as published by
 .\" the Free Software Foundation, either version 3 of the License, or