#!/usr/bin/env bash ############################################################################# ## ## Logtalk script for updating the HTML versions of man pages ## ## Last updated on September 19, 2022 ## ## This file is part of Logtalk ## SPDX-FileCopyrightText: 1998-2023 Paulo Moura ## SPDX-License-Identifier: Apache-2.0 ## ## Licensed under the Apache License, Version 2.0 (the "License"); ## you may not use this file except in compliance with the License. ## You may obtain a copy of the License at ## ## http://www.apache.org/licenses/LICENSE-2.0 ## ## Unless required by applicable law or agreed to in writing, software ## distributed under the License is distributed on an "AS IS" BASIS, ## WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. ## See the License for the specific language governing permissions and ## limitations under the License. ## ############################################################################# # allow using this script from any directory cd "$(dirname "$0")" || exit 1 print_version() { echo "$(basename "$0") 0.1" exit 0 } usage_help() { echo echo "This script updates the HTML versions of the man pages." echo echo "Usage:" echo " $(basename "$0") -v" echo " $(basename "$0") -h" echo echo "Optional arguments:" echo " -v print version of $(basename "$0")" echo " -h help" echo } while getopts "vh" option do case $option in v) print_version;; h) usage_help; exit;; *) usage_help; exit;; esac done cd ../man/man1 || exit 1 for file in *.1; do roffit < "$file" > "${file%.*}".html done exit 0