#!/usr/bin/env bash

if grep -q -F "is_a_released_version = False" ../config/coq_config.py; then
    echo "This is not a released version: nothing to test."
    exit 0
fi

for d in ../doc/changelog/*; do
  if [ -d "$d" ]; then
    files=("$d"/*.rst)
    if [ "${#files[@]}" != 1 ]; then
      echo "Fatal: unreleased changelog entries remain in ${d#../}/"
      echo "Include them in doc/sphinx/changes.rst and remove them from doc/changelog/"
      exit 1
    fi
  fi
done

#!/usr/bin/env bash

found=
for config in ../config/coq_config.py ../_build/default/config/coq_config.py; do
    if [ -f "$config" ]; then found=1; break; fi
done
if ! [[ "$found" ]]; then
    echo "Could not find coq_config.py"
    exit 1
fi

if grep -q -F "is_a_released_version = False" "$config"; then
    echo "This is not a released version: nothing to test."
    exit 0
fi

for d in ../doc/changelog/*; do
  if [ -d "$d" ]; then
    files=("$d"/*.rst)
    if [ "${#files[@]}" != 1 ]; then
      echo "Fatal: unreleased changelog entries remain in ${d#../}/"
      echo "Include them in doc/sphinx/changes.rst and remove them from doc/changelog/"
      exit 1
    fi
  fi
done

Fix coq_config.py detection when running test suite with autoconfigured Coq
Fix coq_config.py detection when running test suite with autoconfigured Coq
