diff --git a/make/tex.mk b/make/tex.mk index 2d0d78d4..5286e8ed 100644 --- a/make/tex.mk +++ b/make/tex.mk @@ -145,9 +145,11 @@ $(HTMLDIR): $(TEXSRC) $(FMT_OFFLINE_OUT) $(PRE_HTML) rm -rf $@ mkdir -p $@ latex2html -split 4 -show_section_numbers -dir $(HTMLDIR) $(MAIN).tex - for OLD in $(HTMLDIR)/*.html ; do sed "s/file:\/usr\/lib\/latex2html\/icons\///g;" $$OLD>$$OLD.new; mv $$OLD.new $$OLD; done + for OLD in $(HTMLDIR)/*.html; do \ + sed "s/file:\/usr\/lib\/latex2html\/icons\///g; s/$(MAIN).html/node1.html/g;" $$OLD>$$OLD.new; \ + mv $$OLD.new $$OLD; \ + done rm $(HTMLDIR)/$(MAIN).html - cd $(HTMLDIR); sed "s/$(MAIN).html/index.html/g;" node1.html > node1.html.new ; mv node1.html.new node1.html cp -r $(DISTDIR) $@/download cat index_head.html > $(HTMLDIR)/index.html for FILE in $(wildcard $(DISTDIR)/*); do SIZE=`ls -lk $$FILE | awk '{print $$5}'`;\