1.1 --- a/doc-src/IsarImplementation/Makefile	Mon Feb 16 21:04:15 2009 +0100
     1.2 +++ b/doc-src/IsarImplementation/Makefile	Mon Feb 16 21:23:33 2009 +0100
     1.3 @@ -8,8 +8,6 @@
     1.4  
     1.5  include ../Makefile.in
     1.6  
     1.7 -MAKEGLOSSARY = ./makeglossary
     1.8 -
     1.9  NAME = implementation
    1.10  
    1.11  FILES = implementation.tex Thy/document/Prelim.tex			\
    1.12 @@ -26,7 +24,6 @@
    1.13  	$(BIBTEX) $(NAME)
    1.14  	$(LATEX) $(NAME)
    1.15  	$(LATEX) $(NAME)
    1.16 -	$(MAKEGLOSSARY) $(NAME)
    1.17  	$(SEDINDEX) $(NAME)
    1.18  	$(LATEX) $(NAME)
    1.19  	$(LATEX) $(NAME)
    1.20 @@ -38,7 +35,6 @@
    1.21  	$(BIBTEX) $(NAME)
    1.22  	$(PDFLATEX) $(NAME)
    1.23  	$(PDFLATEX) $(NAME)
    1.24 -	$(MAKEGLOSSARY) $(NAME)
    1.25  	$(SEDINDEX) $(NAME)
    1.26  	$(FIXBOOKMARKS) $(NAME).out
    1.27  	$(PDFLATEX) $(NAME)