[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [pdf-devel] Public API and gl_list
From: |
Karl Berry |
Subject: |
Re: [pdf-devel] Public API and gl_list |
Date: |
Sat, 8 Mar 2008 19:05:04 -0600 |
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.
karl
- [pdf-devel] Public API and gl_list, gerel, 2008/03/08
- Re: [pdf-devel] Public API and gl_list,
Karl Berry <=
- Re: [pdf-devel] Public API and gl_list, gerel, 2008/03/08
- 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