| changeset 28838 | d5db6dfcb34a |
| parent 28500 | 4b79e5d3d0aa |
| child 28916 | 0a802cdda340 |
--- a/doc-src/System/IsaMakefile Tue Nov 18 18:22:49 2008 +0100 +++ b/doc-src/System/IsaMakefile Tue Nov 18 18:25:10 2008 +0100 @@ -22,7 +22,7 @@ Pure-System: $(LOG)/Pure-System.gz $(LOG)/Pure-System.gz: Thy/ROOT.ML ../antiquote_setup.ML \ - Thy/Basics.thy Thy/Misc.thy Thy/Presentation.thy Thy/Symbols.thy + Thy/Basics.thy Thy/Misc.thy Thy/Presentation.thy @$(USEDIR) -s System Pure Thy