diff options
Diffstat (limited to 'Build/source/m4')
-rw-r--r-- | Build/source/m4/ChangeLog | 4 | ||||
-rw-r--r-- | Build/source/m4/kpse-pkgs.m4 | 2 |
2 files changed, 5 insertions, 1 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> diff --git a/Build/source/m4/kpse-pkgs.m4 b/Build/source/m4/kpse-pkgs.m4 index 5c751873252..cd6377e53ea 100644 --- a/Build/source/m4/kpse-pkgs.m4 +++ b/Build/source/m4/kpse-pkgs.m4 @@ -119,7 +119,7 @@ lcdf-typetools makeindexk makejvf mendexk -ps2pkm +ps2pk psutils seetexk tex4htk |