All of lore.kernel.org
 help / color / mirror / Atom feed
* [Bug 77204] New: make fails due to wrong file names in man
@ 2014-04-08 20:57 bugzilla-daemon
  2014-04-08 21:12 ` [Bug 77204] " bugzilla-daemon
  2019-09-24 17:08 ` bugzilla-daemon
  0 siblings, 2 replies; 3+ messages in thread
From: bugzilla-daemon @ 2014-04-08 20:57 UTC (permalink / raw)
  To: dri-devel


[-- Attachment #1.1: Type: text/plain, Size: 1117 bytes --]

https://bugs.freedesktop.org/show_bug.cgi?id=77204

          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...

-- 
You are receiving this mail because:
You are the assignee for the bug.

[-- Attachment #1.2: Type: text/html, Size: 2414 bytes --]

[-- Attachment #2: Type: text/plain, Size: 159 bytes --]

_______________________________________________
dri-devel mailing list
dri-devel@lists.freedesktop.org
http://lists.freedesktop.org/mailman/listinfo/dri-devel

^ permalink raw reply	[flat|nested] 3+ messages in thread

end of thread, other threads:[~2019-09-24 17:08 UTC | newest]

Thread overview: 3+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2014-04-08 20:57 [Bug 77204] New: make fails due to wrong file names in man bugzilla-daemon
2014-04-08 21:12 ` [Bug 77204] " bugzilla-daemon
2019-09-24 17:08 ` bugzilla-daemon

This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.