On Fri, Nov 13, 2009 at 6:01 AM, Jean Daniel
<jeandaniel.bro...@gmail.com> wrote:
>
> Hello,
>
> Make sure to rename the '_sources' directory in the searchtool.js,
> line 389, or else the search page will not work correctly (I think
> this directory name is hardcoded). In the python script, this is 'if
> file.endswith(".html") or file.endswith(".js")', in bash this is 'find
> -type f' without more conditions.
You are right, I forgot this. Thanks.
>
> I have this function in my .bashrc which does roughly the same thing,
> and which is ok performance wise:
>
> sphinx-to-git() {
> export html=${1:-~/github}
> (
> cd $html
> rm -rf static sources
> mv {_,}static
> mv {_,}sources
> find . -type f -exec \
> sed -i 's/_static/static/;s/_sources/sources/' {} \;
> )
> }
>
> This is a bit of a duplicated effort, maybe I should fill a ticket to
> add a configuration parameter which make it possible to specify a the
> prefix without underscore for the generated html directories.
Yes, this is even better. I am not a bash guru, so I just use Python.
The best solution would be to make Sphinx configurable, but currently
it is a bit hardcoded.
Ondrej
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"sphinx-dev" group.
To post to this group, send email to sphinx-dev@googlegroups.com
To unsubscribe from this group, send email to
sphinx-dev+unsubscr...@googlegroups.com
For more options, visit this group at
http://groups.google.com/group/sphinx-dev?hl=en
-~----------~----~----~----~------~----~------~--~---
