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 97d760cc43..070f244253 100644 --- a/support/TeX4ht/source/Makefile +++ b/support/TeX4ht/source/Makefile @@ -1,4 +1,4 @@ -# $Id: Makefile 1186 2022-08-17 21:26:24Z karl $ +# $Id: Makefile 1213 2022-10-06 22:08:15Z karl $ # This file is public domain. Originally written 2010, Karl Berry. # Assumes GNU make. |