bashlib: fix --help output #46

	name: Docker Image CI

	on:
	push:
	branches: [ "master" ]
	workflow_dispatch: # run manually

	env:
	DOCKER_TAG: ghcr.io/ocr-d/core

	jobs:

	build:

	runs-on: ubuntu-latest
	permissions:
	packages: write
	contents: read

	steps:
	- uses: actions/checkout@v3
	- # Activate cache export feature to reduce build time of images
	name: Set up Docker Buildx
	uses: docker/setup-buildx-action@v2
	- name: Build the Docker image
	# default tag uses docker.io, so override on command-line
	run: make docker DOCKER_TAG=${{ env.DOCKER_TAG }}
	- name: Build the Docker image with GPU support
	# default tag uses docker.io, so override on command-line
	run: make docker-cuda DOCKER_TAG=${{ env.DOCKER_TAG }}-cuda DOCKER_BASE_IMAGE=${{ env.DOCKER_TAG }}
	- name: Login to GitHub Container Registry
	uses: docker/login-action@v2
	with:
	registry: ghcr.io
	username: ${{ github.actor }}
	password: ${{ secrets.GITHUB_TOKEN }}
	- name: Push images to Github Container Registry
	run: \|
	docker push ${{ env.DOCKER_TAG }}:latest
	docker push ${{ env.DOCKER_TAG }}-cuda:latest

Provide feedback