summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--share/man/Makefile59
-rw-r--r--share/man/gnome-shell-extensions-extra.7.rst65
-rw-r--r--share/man/man.in19
3 files changed, 143 insertions, 0 deletions
diff --git a/share/man/Makefile b/share/man/Makefile
new file mode 100644
index 0000000..70442a6
--- /dev/null
+++ b/share/man/Makefile
@@ -0,0 +1,59 @@
+# Progress Linux: gnome-shell-extensions-extra
+
+# Copyright (C) 2010-2023 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
diff --git a/share/man/gnome-shell-extensions-extra.7.rst b/share/man/gnome-shell-extensions-extra.7.rst
new file mode 100644
index 0000000..2847d9c
--- /dev/null
+++ b/share/man/gnome-shell-extensions-extra.7.rst
@@ -0,0 +1,65 @@
+.. Progress Linux: gnome-shell-extensions-extra
+
+.. Copyright (C) 2010-2023 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/>.
+
+============================
+gnome-shell-extensions-extra
+============================
+
+------------------------------------------------
+Conglomeration package of GNOME Shell extensions
+------------------------------------------------
+
+:manual section: 7
+:manual group: Progress Linux
+
+Contents
+========
+
+| disable-workspace-switcher:
+| disables the popup displayed during workspace switching
+| https://github.com/jbradaric/disable-workspace-switcher
+
+| hibernate-status:
+| adds a hibernate/hybrid suspend button in status menu
+| https://github.com/arelange/gnome-shell-extension-hibernate-status
+
+| multi-monitors-add-on:
+| adds panels and thumbnails for additional monitors
+| https://github.com/realh/multi-monitors-add-on
+
+Download
+========
+
+| Upstream Releases:
+| https://get.progress-linux.org/packages/gnome-shell-extensions-extra/upstream
+
+| Upstream Sources:
+| https://git.progress-linux.org/software/progress-linux/gnome-shell-extensions-extra
+
+| Debian Releases:
+| https://get.progress-linux.org/packages/gnome-shell-extensions-extra/debian
+
+| Debian Sources:
+| https://git.progress-linux.org/users/daniel.baumann/debian/packages/gnome-shell-extensions-extra
+
+Authors
+=======
+
+gnome-shell-extensions-extras were written by Daniel Baumann
+<daniel.baumann@progress-linux.org> and others.
diff --git a/share/man/man.in b/share/man/man.in
new file mode 100644
index 0000000..b6d2407
--- /dev/null
+++ b/share/man/man.in
@@ -0,0 +1,19 @@
+.\" Progress Linux: gnome-shell-extensions-extra
+.\"
+.\" Copyright (C) 2010-2023 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/>.
+.\"