--- a/doc-src/Main/Makefile Wed Mar 11 20:09:23 2009 +0100
+++ b/doc-src/Main/Makefile Wed Mar 11 20:11:06 2009 +0100
@@ -1,6 +1,3 @@
-#
-# $Id$
-#
## targets
@@ -11,12 +8,10 @@
include ../Makefile.in
-SRC = ../../src/HOL/Docs/generated
-
NAME = main
-FILES = $(NAME).tex Main_Doc.tex \
- isabelle.sty isabellesym.sty pdfsetup.sty
+FILES = ../isabelle.sty ../isabellesym.sty ../pdfsetup.sty $(NAME).tex \
+ Docs/document/Main_Doc.tex
dvi: $(NAME).dvi
@@ -27,19 +22,3 @@
$(NAME).pdf: $(FILES)
$(PDFLATEX) $(NAME)
- $(FIXBOOKMARKS) $(NAME).out
- $(PDFLATEX) $(NAME)
- $(PDFLATEX) $(NAME)
-
-isabelle.sty:
- ln ../isabelle.sty .
-
-isabellesym.sty:
- ln ../isabellesym.sty .
-
-pdfsetup.sty:
- ln ../pdfsetup.sty .
-
-copy:
- cp $(SRC)/Main_Doc.tex Main_Doc.tex
- cp $(SRC)/root.tex main.tex