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.

Reply via email to