diff options
Diffstat (limited to 'tools/build-automation/build-system.post.nw')
-rw-r--r-- | tools/build-automation/build-system.post.nw | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/tools/build-automation/build-system.post.nw b/tools/build-automation/build-system.post.nw new file mode 100644 index 0000000000000..ce4111a0d30b8 --- /dev/null +++ b/tools/build-automation/build-system.post.nw @@ -0,0 +1,19 @@ +% $Id: build-system.post.nw 2534 2012-08-04 04:07:20Z jkoshy $ +% +% The last chunk of input presented to noweb(1). + +\backmatter + +\part{Appendices} + +% Typeset the index. +\printindex + +% Add indices generated by noweb(1). +% TODO: These need to be merged with the LaTeX index. +\chapter*{Index of Identifiers} +\nowebindex +\chapter*{Index of Code Fragments} +\nowebchunks + +\end{document} |