diff --git a/src/docs/internals/retargeting.tex b/src/docs/internals/retargeting.tex index 9fa2c81725afa17d024e3281c8d8c3a949c82edf..08399cc8538a1bca5220d173ee56e38b37463408 100644 --- a/src/docs/internals/retargeting.tex +++ b/src/docs/internals/retargeting.tex @@ -1,5 +1,6 @@ \part{Compiler Retargeting} +\chapter{Retargeting the Compiler} [\#\#\# In general, it is a danger sign if a generator references a TN that isn't an