From mboxrd@z Thu Jan 1 00:00:00 1970
From: bugzilla-daemon@freedesktop.org
Subject: [Bug 77204] New: make fails due to wrong file names in man
Date: Tue, 08 Apr 2014 20:57:14 +0000
Message-ID:
Priority
medium
Bug ID
77204
Assignee
dri-devel@lists.freedesktop.org
Summary
make fails due to wrong file names in man
Severity
normal
Classification
Unclassified
OS
All
Reporter
tamas.haraszti@uni-heidelberg.de
Hardware
Other
Status
NEW
Version
XOrg CVS
Component
libdrm
Product
DRI
make fails with:
/bin/sed: can't read drm-mm.7: No such file or directory
looking into the man folder I can find:
Makefile drm-kms.7 drm-memory.xml drmAvailable.3 drmHandleEvent.xml
drm\-gem.7
Makefile.am drm-kms.xml drm.7 drmAvailable.xml
drmModeGetResources.3 drm\-mm.7
Makefile.in drm-memory.7 drm.xml drmHandleEvent.3
drmModeGetResources.xml drm\-ttm.7
Thus all MANPAGE_ALIASES contain an extra \.
Renaming the files allows the make to proceed.
System: gentoo linux, newest automake, cmake, bash...