Merge tag 'docs-5.2-fixes' of git://

Pull documentation fixes from Jonathan Corbet:
 "A handful of fixes for a docs build problem, along with catching the script up with the current state of affairs"

* tag 'docs-5.2-fixes' of git://
  Documentation: kdump: fix minor typo
  scripts/ Add dual license subdirectory
  scripts/ Fix path to deprecated licenses
  counter: fix Documentation build error due to incorrect source file name