OK. Good to know! On Wednesday, June 12, 2019 at 4:46:37 PM UTC+2, Komiya Takeshi wrote: > > Hi, > > Unfortunately, no way to do that. > Sphinx does not support to give a complex option from command line. > > Thanks, > Takeshi KOMIYA > > 2019年6月12日(水) 17:19 Beat Gurtner <[email protected] <javascript:>>: > > > > Hi, > > > > I need to export my doc to PDF and I'd like to change the pdf_documents > parameter from the command line. > > > > I use a mac and use this command in the terminal, which works: > > > > sphinx-build -D language=de -b pdf /Applications/MAMP/htdocs/test/doc/ > /Applications/MAMP/htdocs/test/doc/de/pdf/ > > > > > > I tried this: > > > > > > sphinx-build -D language=de pdf_documents='index','Test > 2','file_name','My Name' -b pdf /Applications/MAMP/htdocs/test/doc/ > /Applications/MAMP/htdocs/test/doc/de/pdf/ > > > > > > But that does not work... > > > > > > Any ideas? > > > > > > PS Any nicer themes for the PDF export? > > > > -- > > You received this message because you are subscribed to the Google > Groups "sphinx-users" group. > > To unsubscribe from this group and stop receiving emails from it, send > an email to [email protected] <javascript:>. > > To post to this group, send email to [email protected] > <javascript:>. > > Visit this group at https://groups.google.com/group/sphinx-users. > > To view this discussion on the web visit > https://groups.google.com/d/msgid/sphinx-users/a9108e2c-6893-450a-a5e1-6c7e42f8f8d5%40googlegroups.com. > > > > For more options, visit https://groups.google.com/d/optout. >
-- You received this message because you are subscribed to the Google Groups "sphinx-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/sphinx-users. To view this discussion on the web visit https://groups.google.com/d/msgid/sphinx-users/ea122dc4-028e-4411-830e-436e75f35420%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
