Tomi Ollila <[email protected]> writes: > > perhaps instead of multiple redirections to the file, > > { > echo "# Generated by configure, run from doc/conf.py" > echo > if [ $WITH_EMACS = "1" ]; then > printf "tags.add('WITH_EMACS')\n" > fi > printf "rsti_dir = '%s'\n" "$(realpath emacs)" > > } > sphinx.config >
Sorry, I dropped the ball there. I did actually make this change at some point but I rebased it away. I can do a cleanup patch. d _______________________________________________ notmuch mailing list -- [email protected] To unsubscribe send an email to [email protected]
