diff options
Diffstat (limited to 'support/TeX4ht/source/Makefile')
-rw-r--r-- | support/TeX4ht/source/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/support/TeX4ht/source/Makefile b/support/TeX4ht/source/Makefile index 79637cb8f5..f901ebbb4f 100644 --- a/support/TeX4ht/source/Makefile +++ b/support/TeX4ht/source/Makefile @@ -1,4 +1,4 @@ -# $Id: Makefile 1236 2022-11-15 12:28:12Z michal_h21 $ +# $Id: Makefile 1239 2022-11-16 22:27:35Z karl $ # This file is public domain. Originally written 2010, Karl Berry. # Assumes GNU make. |