From 18db006a78c86afaae1d2ba4283ae6e85cf38c05 Mon Sep 17 00:00:00 2001 From: Martin Ruckert Date: Thu, 10 Mar 2022 16:50:22 +0000 Subject: HiTeX: changing /* _WIN32 ... */ to /* |_WIN32| ... */ to keep TeX happy. git-svn-id: svn://tug.org/texlive/trunk@62591 c570f23f-e606-0410-a88d-b1316a301751 --- Build/source/texk/web2c/hitexdir/hintview/src/htex.h | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'Build/source/texk/web2c/hitexdir/hintview/src/htex.h') diff --git a/Build/source/texk/web2c/hitexdir/hintview/src/htex.h b/Build/source/texk/web2c/hitexdir/hintview/src/htex.h index 9beef681ddd..32b99c40000 100644 --- a/Build/source/texk/web2c/hitexdir/hintview/src/htex.h +++ b/Build/source/texk/web2c/hitexdir/hintview/src/htex.h @@ -1,5 +1,5 @@ /*1410:*/ -#line 25691 "htex.w" +#line 25693 "htex.w" #define banner "This is TeX, Version 3.141592653 (HINT)" \ @@ -1724,7 +1724,7 @@ str_pool[k+2]= si(qo(w.b2) ) ;str_pool[k+3]= si(qo(w.b3) ) \ #define end_write_token cs_token_flag+end_write \ -#line 25692 "htex.w" +#line 25694 "htex.w" enum{/*11:*/ #line 362 "htex.w" @@ -1768,7 +1768,7 @@ file_name_size= 1024, empty_string= 256 /*:11*/ -#line 25693 "htex.w" +#line 25695 "htex.w" }; /*18:*/ #line 502 "htex.w" @@ -1890,7 +1890,7 @@ typedef uint16_t trie_pointer; typedef int16_t hyph_pointer; /*:949*/ -#line 25694 "htex.w" +#line 25696 "htex.w" extern void list_init(void); extern void hpack_page(void); -- cgit v1.2.3