diff options
Diffstat (limited to 'Build/source/m4/ChangeLog')
-rw-r--r-- | Build/source/m4/ChangeLog | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Build/source/m4/ChangeLog b/Build/source/m4/ChangeLog index bf616b32a8d..dccc3008adc 100644 --- a/Build/source/m4/ChangeLog +++ b/Build/source/m4/ChangeLog @@ -1,5 +1,9 @@ 2014-12-06 Peter Breitenlohner <peb@mppmu.mpg.de> + * kpse-pkgs.m4 (kpse_texk_pkgs): Rename ps2pkm => ps2pk. + +2014-12-06 Peter Breitenlohner <peb@mppmu.mpg.de> + * kpse-options.m4: Set platform name to ${host_alias-$host}. 2014-12-05 Peter Breitenlohner <peb@mppmu.mpg.de> |