[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [pdf-devel] Public API and gl_list
From: |
gerel |
Subject: |
Re: [pdf-devel] Public API and gl_list |
Date: |
Sat, 08 Mar 2008 22:40:28 -0300 |
> Date: Sat, 8 Mar 2008 19:05:04 -0600
> From: address@hidden (Karl Berry)
>
> If you think it's not a good idea to modify those headers we should
> copy them to another location and modify them there. I guess it's
> the same.
>
> What? This makes no sense to me.
>
> As we already discussed, Gnulib headers should not be modified in your
> source tree (then you can't update them), or installed by make install
> (then there are collisions).
>
> If you want to use them in the PDF public headers, then physically
> insert them into your headers so there is no file named "gl_list.h" that
> gets installed (or modified). Otherwise, just don't use them.
Ok, I'm going to do that. My point was that extra work will be needed anyway.
regards,
-gerel
- [pdf-devel] Public API and gl_list, gerel, 2008/03/08
- Re: [pdf-devel] Public API and gl_list, Karl Berry, 2008/03/08
- Re: [pdf-devel] Public API and gl_list,
gerel <=
- Re: [pdf-devel] Public API and gl_list, Aleksander Morgado, 2008/03/10
- Re: [pdf-devel] Public API and gl_list, gerel, 2008/03/10
- Re: [pdf-devel] Public API and gl_list, gerel, 2008/03/10
- Re: [pdf-devel] Public API and gl_list, jemarch, 2008/03/10
- Re: [pdf-devel] Public API and gl_list, gerel, 2008/03/10
- Re: [pdf-devel] Public API and gl_list, gerel, 2008/03/10
- Re: [pdf-devel] Public API and gl_list, jemarch, 2008/03/10