+option zum makefile
+unbenutzte strings aus mod_html* geloescht, andere sachen angepasst, damit konformer code erzeugt wird +schreibfehler im *css
This commit is contained in:
parent
6d4577c698
commit
0b39b549db
3 changed files with 7 additions and 19 deletions
|
@ -41,7 +41,7 @@ blockquote {
|
||||||
font-style: italic;
|
font-style: italic;
|
||||||
}
|
}
|
||||||
|
|
||||||
/* Bildbeschreibung */
|
/* Bildbeschreibungen*/
|
||||||
caption {
|
caption {
|
||||||
font-size: small;
|
font-size: small;
|
||||||
}
|
}
|
||||||
|
|
|
@ -7,7 +7,7 @@ TARGET_FILES := $(foreach dir,$(DOCUMENT_NAMES),_output/$(dir).html)
|
||||||
ASC_FILES := $(wildcard *.asc)
|
ASC_FILES := $(wildcard *.asc)
|
||||||
LINE_STATUS = offline
|
LINE_STATUS = offline
|
||||||
|
|
||||||
LATEX2HTMLPREFIX := -no_auto_link -split 0 -no_navigation -no_subdir -dir _output -info 0 -style cryptocd.css -local_icons
|
LATEX2HTMLPREFIX := -no_auto_link -split 0 -no_navigation -no_subdir -dir _output -info 0 -style cryptocd.css -local_icons -address 0
|
||||||
|
|
||||||
|
|
||||||
.PHONY : clean online offline clean-targets install
|
.PHONY : clean online offline clean-targets install
|
||||||
|
@ -34,7 +34,7 @@ offline: LINE_STATUS=offline
|
||||||
online offline: clean-targets $(TARGET_FILES)
|
online offline: clean-targets $(TARGET_FILES)
|
||||||
|
|
||||||
$(TARGET_FILES): $(HTML_FILES) $(ASC_FILES)
|
$(TARGET_FILES): $(HTML_FILES) $(ASC_FILES)
|
||||||
cat nav.$(LINE_STATUS).asc $(notdir $(basename $@))/$(notdir $@) footer.asc >$@
|
cat nav.$(LINE_STATUS).asc $(notdir $(basename $@))/$(notdir $@) >$@
|
||||||
|
|
||||||
|
|
||||||
# create tex files from lyx
|
# create tex files from lyx
|
||||||
|
|
|
@ -30,18 +30,9 @@ try:
|
||||||
f.close()
|
f.close()
|
||||||
#zu_manipulierende_variable=string.replace(zu_manipulierende_variable,alter_string,neuer_string)
|
#zu_manipulierende_variable=string.replace(zu_manipulierende_variable,alter_string,neuer_string)
|
||||||
content=string.replace(content,'Table of Contents','Inhalt')
|
content=string.replace(content,'Table of Contents','Inhalt')
|
||||||
# now cut off the hevea footer:
|
|
||||||
footer="""<HR SIZE=2>
|
|
||||||
<BLOCKQUOTE><EM>This document was translated from L<sup>A</sup>T<sub>E</sub>X by
|
|
||||||
</EM><A HREF="http://pauillac.inria.fr/~maranget/hevea/index.html"><EM>H<FONT SIZE=2><sup>E</sup></FONT>V<FONT SIZE=2><sup>E</sup></FONT>A</EM></A><EM>.
|
|
||||||
</EM></BLOCKQUOTE>"""
|
|
||||||
content=string.replace(content,footer,"")
|
|
||||||
#hevea inserts font tags, and
|
|
||||||
#we don't want none fuken redneck messin wid our stylez!!@!#$!!1
|
|
||||||
content = string.replace(content,'<FONT SIZE=5>','')
|
|
||||||
content = string.replace(content,'</FONT>','')
|
|
||||||
|
|
||||||
#recently switched to latex2html, now cutting of headers
|
#recently switched to latex2html, now cutting of headers
|
||||||
|
# dieser abschnitt muss ueberarbeitet werden!
|
||||||
startoffset=string.find(content,"<HR>\n<ADDRESS>")
|
startoffset=string.find(content,"<HR>\n<ADDRESS>")
|
||||||
endoffset=string.find(content,"</ADDRESS>",startoffset)+len("</ADDRESS>")
|
endoffset=string.find(content,"</ADDRESS>",startoffset)+len("</ADDRESS>")
|
||||||
if (startoffset >10) and (endoffset>startoffset):
|
if (startoffset >10) and (endoffset>startoffset):
|
||||||
|
@ -49,16 +40,13 @@ try:
|
||||||
content=string.replace(content,footer,"")
|
content=string.replace(content,footer,"")
|
||||||
|
|
||||||
#rename footnotes into Fussnoten
|
#rename footnotes into Fussnoten
|
||||||
#content = string.replace(content,"Footnotes","Fussnoten")
|
content = string.replace(content,"Footnotes","Fussnoten")
|
||||||
|
|
||||||
#rename content into Inhalt
|
#rename content into Inhalt
|
||||||
content = string.replace(content,"Contents","Inhalt")
|
content = string.replace(content,"Contents","Inhalt")
|
||||||
|
|
||||||
#delete everything till <body> tag
|
|
||||||
#content = content[string.find(content,"<BODY >"):]
|
|
||||||
|
|
||||||
#put whole content into div tags
|
#put whole content into div tags
|
||||||
content = string.replace(content,"<BODY >",'<!-- main starts here -->\n<div id="main">')
|
content = string.replace(content,"<BODY >",'<BODY>\n<!-- main starts here -->\n<div id="main">')
|
||||||
content = string.replace(content,"</BODY>",'</div>')
|
content = string.replace(content,"</BODY>",'</div>')
|
||||||
content = string.replace(content,"</HTML>",'<!-- end of main -->')
|
content = string.replace(content,"</HTML>",'<!-- end of main -->')
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue