anchor.diff:  :#   2019-11-30 JFL Created this script.				      #
   :#   2019-12-09 JFL Display which server was used.			      #
   :#   2019-12-13 JFL Display an error message if curl failed.		      #
  +:#   2020-07-03 JFL Added options -c & -t to select the github server to use. #
  +:#		    Added option -t to use an authentication token.           #
  +:#		    Added option -s to use a given github server API URL.     #
   :#		                                                              #
   :#         © Copyright 2019 Hewlett Packard Enterprise Development LP         #
   :# Licensed under the Apache 2.0 license  www.apache.org/licenses/LICENSE-2.0 #
   :##############################################################################
   
   setlocal EnableExtensions DisableDelayedExpansion
  -set "VERSION=2019-12-13"
  +set "VERSION=2020-07-03"
   set "SCRIPT=%~nx0"		&:# Script name
   set "SNAME=%~n0"		&:# Script name, without its extension
   set "SPATH=%~dp0"		&:# Script path
  
positive.code: set ">=>"
  set ">>=>>"
  set "TRUE.EXE=(call,)"	&:# Macro to silently set ERRORLEVEL to 0
  
  goto :get_arg
  :next_arg
  shift
  :get_arg
  if [%1]==[] goto :start
  set "ARG=%~1"
  if "%ARG%"=="-?" goto :help
  if "%ARG%"=="/?" goto :help
  if "%ARG%"=="-d" set "DEBUG=1" & set "ECHO.D=echo" & goto :next_arg
  if "%ARG%"=="-v" set "OPTS=%OPTS: -s=%" & goto :next_arg
  if "%ARG%"=="-V" (echo %VERSION%) & exit /b
  if "%ARG%"=="-X" set "EXEC=echo" & set ">=^>" & set ">>=^>^>" & goto :next_arg
  
negative.code:   >&2 echo Error: File "%MD%" not found
    exit /b 1
  )
  if not defined GITHUB set "GITHUB=%GITHUB.CORP%"
  if not defined GITHUB set "GITHUB=%GITHUB.COM%"
  %ECHO.D% # Server: %GITHUB%
  for %%f in ("%MD%") do set "HTML=%TEMP%\%%~nf.htm"
  %ECHO.D% # HTML file: "%HTML%"
  