diff options
Diffstat (limited to 'Build/source/texk/makeindexk/PORTING')
-rw-r--r-- | Build/source/texk/makeindexk/PORTING | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/Build/source/texk/makeindexk/PORTING b/Build/source/texk/makeindexk/PORTING deleted file mode 100644 index 2f6daaf653e..00000000000 --- a/Build/source/texk/makeindexk/PORTING +++ /dev/null @@ -1,11 +0,0 @@ - ----- MakeIndex Porting Note ----- - -You are welcome and encouraged to port MakeIndex to any system not -support under the current distribution. The standard way of doing -that is by adding patches with enclosed #ifdef ... #endif pairs. You -can invent your own variables with the OS_ prefix attached in the -front. Please report your port back to me, so that I can make it -available to other people. - - Pehong Chen - 11/11/1989 |