suzanne.soy/FreeCAD
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Small fix in offline doc tools

Browse Source
This commit is contained in:
Yorik van Havre 2014-05-23 19:45:56 -03:00
parent 91ad22e3ab
commit ce3a503bd6
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/Tools/offlinedoc/buildpdf.py
View File

@ -39,7 +39,7 @@ INDEX = "Online_Help_Toc" # the start page from where to crawl the wiki
PDFCONVERTOR = 'wkhtmltopdf' # can be 'pisa', 'htmldoc', 'wkhtmltopdf' or 'firefox'
VERBOSE = True # set true to get output messages
INCLUDECOMMANDS = True # if true, the command pages of each workbench are included after each WB page
OVERWRITE = True # if true, pdf files are recreated even if already existing
OVERWRITE = False # if true, pdf files are recreated even if already existing
FIREFOXPDFFOLDER = os.path.expanduser("~")+os.sep+"PDF" # if firefox is used, set this to where it places its pdf files by default
# END CONFIGURATION ##############################################
@ -148,10 +148,10 @@ def createpdf_htmldoc(pagename):
def createpdf_wkhtmltopdf(pagename):
"creates a pdf file from a saved page using htmldoc (external app, but supports images)"
if (not exists(pagename+".pdf",image=True)) or OVERWRTIE:
if (not exists(pagename+".pdf",image=True)) or OVERWRITE:
infile = FOLDER + os.sep + pagename+'.html'
outfile = FOLDER + os.sep + pagename+'.pdf'
return os.system('wkhtmltopdf --user-style-sheet '+FOLDER+os.sep+'wkhtmltppdf.css '+infile+' '+outfile)
return os.system('wkhtmltopdf --margin-top 5mm --user-style-sheet '+FOLDER+os.sep+'wkhtmltppdf.css '+infile+' '+outfile)
else:
print "skipping"
@ -222,7 +222,7 @@ def makeStyleSheet():
outputfile = file(FOLDER+os.sep+"wkhtmltopdf.css",'wb')
outputfile.write("""
html {
margin: 20px 0;
margin: 50px 0;
}
""")
outputfile.close()