| changeset 28221 | ca9fdab0f971 |
| parent 28215 | a1cfc43ac47d |
| child 28224 | 10487d954a8f |
--- a/doc-src/System/Makefile Mon Sep 15 17:32:12 2008 +0200 +++ b/doc-src/System/Makefile Mon Sep 15 19:42:22 2008 +0200 @@ -12,8 +12,9 @@ include ../Makefile.in NAME = system -FILES = system.tex Thy/document/Basics.tex misc.tex present.tex symbols.tex \ - ../iman.sty ../extra.sty ../ttbox.sty ../manual.bib +FILES = system.tex Thy/document/Basics.tex misc.tex \ + Thy/document/Presentation.tex symbols.tex ../iman.sty \ + ../extra.sty ../ttbox.sty ../manual.bib OUTPUT = syms.tex