From 508fc895c5e7602d6cee1b6bc5ef85cd63d9da9d Mon Sep 17 00:00:00 2001 From: phil Date: Thu, 12 May 2005 17:27:25 +0000 Subject: [PATCH] header wird nicht mehr benoetigt. die option -style im Makefile erledigt diese aufgabe --- documents/Makefile | 2 +- documents/header.asc | 9 --------- 2 files changed, 1 insertion(+), 10 deletions(-) delete mode 100644 documents/header.asc diff --git a/documents/Makefile b/documents/Makefile index 072096b..c6aa25b 100644 --- a/documents/Makefile +++ b/documents/Makefile @@ -35,7 +35,7 @@ offline: LINE_STATUS=offline online offline: clean-targets $(TARGET_FILES) $(TARGET_FILES): $(HTML_FILES) $(ASC_FILES) - cat header.asc nav.$(LINE_STATUS).asc $(notdir $(basename $@))/$(notdir $@) footer.asc >$@ + cat nav.$(LINE_STATUS).asc $(notdir $(basename $@))/$(notdir $@) footer.asc >$@ # create tex files from lyx diff --git a/documents/header.asc b/documents/header.asc deleted file mode 100644 index 6ef6bd7..0000000 --- a/documents/header.asc +++ /dev/null @@ -1,9 +0,0 @@ - - - - - - - - -