1
0
Fork 0
gnome-shell-extensions-extra/share/man/Makefile
Daniel Baumann b96d6292ac
Adding upstream version 20240414.
Signed-off-by: Daniel Baumann <daniel@debian.org>
2025-02-09 23:17:40 +01:00

59 lines
1.5 KiB
Makefile

# Progress Linux: gnome-shell-extensions-extra
# Copyright (C) 2010-2024 Daniel Baumann <daniel.baumann@progress-linux.org>
#
# SPDX-License-Identifier: GPL-3.0+
#
# This program is free software: you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
# the Free Software Foundation, either version 3 of the License, or
# (at your option) any later version.
#
# This program is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public License
# along with this program. If not, see <https://www.gnu.org/licenses/>.
# Depends: python3-docutils
RST2MAN = rst2man \
--no-datestamp \
--no-generator \
--strict \
--strip-comments \
--tab-width=4 \
--verbose
VERSION := $(shell cat ../../VERSION.txt)
SHELL := sh -e
all: build
build: man
rebuild: clean build
man: man.in *.rst
@echo -n "Creating manpages... "
@for FILE in *.rst; \
do \
cp man.in $$(basename $${FILE} .rst); \
$(RST2MAN) $${FILE} | \
sed -e '/^.\\" Man page generated/d' \
-e '/^.\\" Generated by/d' \
-e "s|^\(.TH .*\) \(\"\" \"\"\) |\1 $${VERSION} gnome-shell-extensions-extra |" \
>> $$(basename $${FILE} .rst); \
echo -n "."; \
done
@echo " done."
clean:
rm -f *.[0-9]
.PHONY: all clean build rebuild man