From d72afdbcf8bcebc855e9f6cce7ee7e9a1a4b052a Mon Sep 17 00:00:00 2001 From: phil Date: Thu, 12 May 2005 20:27:06 +0000 Subject: [PATCH] schliesst trac ticket #14 --- documents/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/documents/Makefile b/documents/Makefile index f699415..01d40f0 100644 --- a/documents/Makefile +++ b/documents/Makefile @@ -7,7 +7,7 @@ TARGET_FILES := $(foreach dir,$(DOCUMENT_NAMES),_output/$(dir).html) ASC_FILES := $(wildcard *.asc) LINE_STATUS = offline -LATEX2HTMLPREFIX := -no_auto_link -split 0 -no_navigation -no_subdir -dir _output -info 0 -style cryptocd.css +LATEX2HTMLPREFIX := -no_auto_link -split 0 -no_navigation -no_subdir -dir _output -info 0 -style cryptocd.css -local_icons .PHONY : clean online offline clean-targets install