diff options
| -rw-r--r-- | ChangeLog | 4 | ||||
| -rwxr-xr-x | configure | 4 |
2 files changed, 6 insertions, 2 deletions
@@ -2,10 +2,12 @@ [task #5956 --- ``Automake'ify GNU Mach's code base''] + * configure: Regenerate. + * configure.ac <config.status.dep.patch>: Point to [bug #18011 --- ``GNU Mach: `make install-data' will build the ``to-be-generated files'''']. - + * Makefile.in: Regenerate. * Makefrag.am (include_mach_exec): Rename to `include_mach_eXec'. @@ -8381,7 +8381,9 @@ fi # when running `make clean', the build system may decide to first build all the # to-be-genereated files and afterwards remove them again, but it works and I # don't want to spend more thoughts on this issue at the moment. Feel free to -# suggest something better. +# suggest something better. TODO. See <http://savannah.gnu.org/bugs/?18011> +# --- ``GNU Mach: `make install-data' will build the ``to-be-generated +# files''''. # |