#!/bin/bash

 source "$(dirname "${BASH_SOURCE}")/lib/init.sh"

 echo "===== Verifying Generated Docs ====="

 GENERATED_DOCS_ROOT_REL="docs/generated"
 GENERATED_DOCS_ROOT="${OS_ROOT}/${GENERATED_DOCS_ROOT_REL}"

 TMP_GENERATED_DOCS_ROOT_REL="_output/verify-generated-docs"

 TMP_GENERATED_DOCS_ROOT="${OS_ROOT}/${TMP_GENERATED_DOCS_ROOT_REL}/${GENERATED_DOCS_ROOT_REL}"

 GENERATED_DOCS_MAN_ROOT_REL="docs/man/man1"

 GENERATED_DOCS_MAN_ROOT="${OS_ROOT}/${GENERATED_DOCS_MAN_ROOT_REL}"
 TMP_GENERATED_DOCS_MAN_ROOT="${OS_ROOT}/${TMP_GENERATED_DOCS_ROOT_REL}/${GENERATED_DOCS_MAN_ROOT_REL}"
 

 echo "Generating fresh docs..."
 if ! output=`${OS_ROOT}/hack/update-generated-docs.sh ${TMP_GENERATED_DOCS_ROOT_REL} 2>&1`
 then
 	echo "FAILURE: Generation of fresh docs failed:"
 	echo "$output"

   exit 1

 fi
 
 echo "Diffing current docs against freshly generated docs"

 ret=0
 diff -Naupr "${GENERATED_DOCS_ROOT}" "${TMP_GENERATED_DOCS_ROOT}" || ret=$?

 rm -rf "${TMP_GENERATED_DOCS_ROOT}"

 
 echo "Diffing current man pages against freshly generated man pages"
 retman=0
 diff -Naupr "${GENERATED_DOCS_MAN_ROOT}" "${TMP_GENERATED_DOCS_MAN_ROOT}" || retman=$?
 rm -rf "${TMP_GENERATED_DOCS_MAN_ROOT}"
 
 if [[ $ret -eq 0 ]] && [[ $retman -eq 0 ]]
 then
   echo "SUCCESS: Generated docs and man pages up to date."
 elif [[ $ret -eq 0 ]] && [[ $retman -ne 0 ]]

 then

   echo "FAILURE: Generated docs up to date, but generated man pages out of date. Please run hack/update-generated-docs.sh"
   exit 1
 elif [[ $ret -ne 0 ]] && [[ $retman -eq 0 ]]
 then
   echo "FAILURE: Generated man pages up to date, but generated docs out of date. Please run hack/update-generated-docs.sh"
   exit 1

 else

   echo "FAILURE: Generated docs and man pages out of date. Please run hack/update-generated-docs.sh"

   exit 1
 fi