tags 408114 + patch
thank you
Justin Pryzby wrote:
> Package: xserver-xorg
> Version: 7.1.0-10
>
> # Edit this file with caution, and see the /etc/X11/xorg.conf manual page.
> # (Type "man /etc/X11/xorg.conf" at the shell prompt.)
>
> This shell command causes man to attempt to pass the xorg config file through
> the manpage formatting pipeline.
>
Hi,
The attached patch should fix it.
Brice
Index: xorg-7.1.0/debian/local/dexconf
===================================================================
--- xorg-7.1.0.orig/debian/local/dexconf 2007-01-23 21:02:10.000000000 +0100
+++ xorg-7.1.0/debian/local/dexconf 2007-01-23 21:02:41.000000000 +0100
@@ -177,15 +177,17 @@
# descriptor 3 for its own purposes, we will write our output to file descriptor
# 4 instead of standard output.
+REALCONFIGMANPAGE=$(basename ${REALCONFIG})
+
exec 4>"$DEXCONFTMPDIR/Header"
cat >&4 <<SECTION
-# $REALCONFIG ($SERVER X Window System server configuration file)
+# $REALCONFIGMANPAGE ($SERVER X Window System server configuration file)
#
# This file was generated by dexconf, the Debian X Configuration tool, using
# values from the debconf database.
#
# Edit this file with caution, and see the $REALCONFIG manual page.
-# (Type "man $REALCONFIG" at the shell prompt.)
+# (Type "man $REALCONFIGMANPAGE" at the shell prompt.)
#
# This file is automatically updated on $XSERVERPKG package upgrades *only*
# if it has not been modified since the last upgrade of the $XSERVERPKG
