[PATCH libdrm] man: remove .man_fixup workaround

2015-07-29 Thread Emil Velikov
On 16 July 2015 at 19:05, Jonathan Gray wrote: > On Thu, Jul 16, 2015 at 04:55:40PM +0100, Emil Velikov wrote: >> The whole thing is quite messy - the file is used to indicate that the >> man pages were correctly generated prior to applying the "fixup" (alias) >> >> At the same time we use a rule

[PATCH libdrm] man: remove .man_fixup workaround

2015-07-17 Thread Emil Velikov
On 16 July 2015 at 19:05, Jonathan Gray wrote: > On Thu, Jul 16, 2015 at 04:55:40PM +0100, Emil Velikov wrote: >> The whole thing is quite messy - the file is used to indicate that the >> man pages were correctly generated prior to applying the "fixup" (alias) >> >> At the same time we use a rule

[PATCH libdrm] man: remove .man_fixup workaround

2015-07-17 Thread Jonathan Gray
On Thu, Jul 16, 2015 at 04:55:40PM +0100, Emil Velikov wrote: > The whole thing is quite messy - the file is used to indicate that the > man pages were correctly generated prior to applying the "fixup" (alias) > > At the same time we use a rule with the same name, to create the same > file if the

[PATCH libdrm] man: remove .man_fixup workaround

2015-07-16 Thread Emil Velikov
The whole thing is quite messy - the file is used to indicate that the man pages were correctly generated prior to applying the "fixup" (alias) At the same time we use a rule with the same name, to create the same file if the generation has failed. In other words - it attempts to create the file