ltsmin: make it easier to find the README (!95) · Merge requests · Spot / Spot · GitLab

Alexandre Duret-Lutz requested to merge adl/test-rpm into next Nov 15, 2023

Fixes #550 (closed), reported by Daniel Stan.

tests/ltsmin/README: Move...
README.ltsmin: ... here.
Makefile.am (EXTRA_DIST): Add README.ltsmin.
README: Mention README.ltsmin.
spot/ltsmin/spins_interface.cc: Mention README.ltsmin in the error message.
tests/ltsmin/check.test, tests/ltsmin/check3.test: Adjust reference to README.
NEWS: Mention this fix.
THANKS: Add Danial.