Hi Thomas,
I’ve just pushed small improvements for “make dist”. Let me know what
you think.
Thanks,
Ludo’.
Hi Thomas,
Thomas Schwinge skribis:
> * some bug fixes and/or improvements regarding automatic regeneration
> of several files -- I hope I didn't break anything;
>
> * remove hurd/install-headers -- the main configure script together
> with »make install-headers« can be used instead;
Hi!
I forgot: I also re-created the 0.0, 0.1, and 0.2 GNU Hurd releases'
states (as per the CVS tags; the respective release tarballs are more
stripped-down), and pushed corresponding Git tags. Now »git describe
--match '*release*'« can produce sensible output (and tells us we're 3349
commits pas
Hi!
I pushed some patches for the Hurd's build system, and similar things. A
short summary:
* some bug fixes and/or improvements regarding automatic regeneration
of several files -- I hope I didn't break anything;
* remove hurd/install-headers -- the main configure script together
w
