diff --git a/man/gnome-shell.txt b/man/gnome-shell.txt
new file mode 100644
index 000000000..4ed5b711b
--- /dev/null
+++ b/man/gnome-shell.txt
@@ -0,0 +1,81 @@
+GNOME-SHELL(1)
+=============
+:man manual: User Commands
+:man source: GNOME-SHELL
+:doctype: manpage
+:date: December 2020
+
+NAME
+----
+gnome-shell - Graphical shell for the GNOME desktop
+
+SYNOPSIS
+--------
+*gnome-shell* ['OPTION'...]
+
+DESCRIPTION
+-----------
+GNOME shell provides core user interface functions for the GNOME 3 desktop,
+like switching to windows and launching applications. GNOME shell takes
+advantage of the capabilities of modern graphics hardware and introduces
+innovative user interface concepts to provide a visually attractive and
+easy to use experience.
+
+gnome-shell is a required component of the GNOME desktop, i.e. it is listed in
+the RequiredComponents field of /usr/share/gnome-session/sessions/gnome.session.
+It is started in the window manager phase of the session.
+
+OPTIONS
+-------
+*-r*, *--replace*::
+Replace the running window manager
+
+*--sm-disable*::
+Disable connection to the session manager
+
+*--sm-client-id*='ID'::
+Specify session management 'ID'
+
+*--sm-save-file*='FILE'::
+Initialize session from 'FILE'
+
+*--screen*='SCREEN'::
+X screen to use
+
+*-d*, *--display*='DISPLAY'::
+X display to use
+
+*--sync*::
+Make X calls synchronous
+
+*--version*::
+Print version and exit
+
+*--help*::
+Display help and exit
+
+*--mode*='MODE'::
+Use a specific mode, e.g. "gdm" for login screen
+
+*--list-modes*::
+List possible modes and exit
+
+*--clutter-display*='DISPLAY'::
+Clutter the option display (otherwise ignored)
+
+FILES
+-----
+/usr/share/gnome-session/sessions/gnome.session,
+/usr/share/applications/org.gnome.Shell.desktop.
+
+BUGS
+----
+The bug tracker can be reached by visiting the website
+https://bugzilla.gnome.org/buglist.cgi?product=gnome-shell.
+Before sending a bug report, please verify that you have the latest version
+of gnome-shell. Many bugs (major and minor) are fixed at each release, and
+if yours is out of date, the problem may already have been solved.
+
+ADDITIONAL INFORMATION
+----------------------
+For further information, visit the website https://wiki.gnome.org/Projects/GnomeShell.
diff --git a/man/gnome-shell.xml b/man/gnome-shell.xml
deleted file mode 100644
index 2b245f791..000000000
--- a/man/gnome-shell.xml
+++ /dev/null
@@ -1,165 +0,0 @@
-
-
-
-
-
-
- gnome-shell
- gnome-shell
-
-
-
- wrote the original gnome-shell man page
- Marcelo Jorge
- Vieira
- metal@alucinados.com
-
-
-
-
-
-
- gnome-shell
- 1
-
-
-
- gnome-shell
- Graphical shell for the GNOME desktop
-
-
-
-
- gnome-shell OPTION
-
-
-
-
- Description
-
- GNOME shell provides core user
- interface functions for the GNOME 3 desktop, like switching
- to windows and launching applications. GNOME shell takes
- advantage of the capabilities of modern graphics hardware
- and introduces innovative user interface concepts to provide
- a visually attractive and easy to use experience.
-
- gnome-shell is a required component of
- the GNOME desktop, i.e. it is listed in the
- RequiredComponents field of
- /usr/share/gnome-session/sessions/gnome.session.
- It is started in the window manager phase of the session.
-
-
-
-
-
- Options
-
-
-
-
- ,
-
- Replace the running window manager
-
-
-
-
-
- Disable connection to the session manager
-
-
-
-
-
- Specify session management ID
-
-
-
-
-
- Initialize session from FILE
-
-
-
-
-
- X screen to use
-
-
-
- ,
-
- X Display to use
-
-
-
-
-
- Make X calls synchronous
-
-
-
-
-
- Print version and exit
-
-
-
-
-
- Display help and exit
-
-
-
-
-
- Use a specific mode, e.g. "gdm" for login screen
-
-
-
-
-
- List possible modes and exit
-
-
-
-
-
- Clutter the option display (otherwise ignored)
-
-
-
-
-
-
-
- Files
-
-
- /usr/share/gnome-session/sessions/gnome.session,
- /usr/share/applications/org.gnome.Shell.desktop.
-
-
-
- Bugs
-
- The bug tracker can be reached by visiting the
- website https://bugzilla.gnome.org/buglist.cgi?product=gnome-shell.
- Before sending a bug report, please verify that you have
- the latest version of gnome-shell. Many bugs (major and
- minor) are fixed at each release, and if yours is out of
- date, the problem may already have been solved.
-
-
-
-
- Additional Information
-
- For further information, visit the website
- https://wiki.gnome.org/Projects/GnomeShell.
-
-
-
diff --git a/man/meson.build b/man/meson.build
index 9d39a38b8..aa37ef0f3 100644
--- a/man/meson.build
+++ b/man/meson.build
@@ -1,19 +1,7 @@
custom_target('man page',
- input: 'gnome-shell.xml',
+ input: ['gnome-shell.txt', 'stylesheet.xsl'],
output: 'gnome-shell.1',
- command: [
- xsltproc,
- '-o', '@OUTPUT@',
- '--nonet',
- '--stringparam', 'man.output.quietly', '1',
- '--stringparam', 'funcsynopsis.style', 'ansi',
- '--stringparam', 'man.th.extra1.suppress', '1',
- '--stringparam', 'man.authors.section.enabled', '0',
- '--stringparam', 'man.copyright.section.enabled', '0',
- 'http://docbook.sourceforge.net/release/xsl/current/manpages/docbook.xsl',
- '@INPUT@'
- ],
- build_by_default: true,
+ command: [a2x, '-D', '@OUTDIR@', '--xsl-file', '@INPUT1@', '-f' ,'manpage', '@INPUT0@'],
install_dir: mandir + '/man1',
install: true
)
diff --git a/man/stylesheet.xsl b/man/stylesheet.xsl
new file mode 100644
index 000000000..047bd1b59
--- /dev/null
+++ b/man/stylesheet.xsl
@@ -0,0 +1,27 @@
+
+
+
+
+
+ .PP
+
+
+
+
+
+
+
+
+
+ .RS 4
+
+ .\"
+
+
+
+ .RE
+
+
+
+
diff --git a/meson.build b/meson.build
index c77c51926..71b3ca471 100644
--- a/meson.build
+++ b/meson.build
@@ -126,8 +126,7 @@ else
endif
if get_option('man')
- xsltproc = find_program('xsltproc')
-
+ a2x = find_program('a2x')
subdir('man')
endif