Re: [PATCH v2 3/5] doc/prerst2x.py: Adjust to handle any output format, not just man pages

2014-07-12 Thread Tomi Ollila
On Sat, May 10 2014, W. Trevor King wk...@tremily.us wrote: For example, with these changes we can build HTML output using: $ prerst2x.py rst2html ${SRCDIR} ${OUTDIR} html The extension adjustment ensures that the output filenames from the above command match what we currently generate

Re: [PATCH v2 5/5] T360-symbol-hiding: Use nm instead of objdump.

2014-07-12 Thread David Bremner
Charles Celerier ccel...@cs.stanford.edu writes: David Bremner da...@tethera.net writes: $ objdump -t lib/*.o | sed -n '/\[\.text\] __\?notmuch/p' | tail 09a0 g 0f SECT 01 [.text] _notmuch_thread_get_authors 0990 g 0f SECT 01

Re: Add support for specifying tags during notmuch new

2014-07-12 Thread David Bremner
Austin Clements amdra...@mit.edu writes: What happens when this script dies in the middle (say, your computer loses power or notmuch tag conflicts with something else on the write lock)? One advantage of the standard new tag approach is that it's easy to write a stateless post-new tagging

Re: [PATCH v2] emacs: Add support for saved search accelerators

2014-07-12 Thread David Bremner
David Edmondson d...@dme.org writes: Extended the saved search definition to allow the inclusion of an accelerator key for the search. Bind 'j' in the common mode map as a leader for such accelerator keys. I was trying this out without configuring any accelerators and it seemed a bit

[PATCH] docs: remote spurious man page generated from doxygen

2014-07-12 Thread David Bremner
There is a doxygen bug about these odd files, https://bugzilla.gnome.org/show_bug.cgi?id=727796 But it isn't clear if / when a fix will be provided, so just delete it to avoid e.g. confusing man-to-wiki.pl --- doc/Makefile.local | 1 + 1 file changed, 1 insertion(+) diff --git

[PATCH v3 4/5] doc: Consolidate Makefile targets around {build|install}-{format}

2014-07-12 Thread W. Trevor King
The rst2man target was removed in 9d9a700 (doc: build man pages at build time; introduce HAVE_SPHINX, HAVE_RST2MAN, 2014-03-13), but a reference in the install docs slipped through. While I was removing that reference, I also: * Converted doc/INSTALL to reStructuredText, so I can link to Sphinx

[PATCH v3 0/5] rst2man.py support and doc-build cleanups

2014-07-12 Thread W. Trevor King
Changes since v2 [1]: * In patches 1/5 and 5/5, use for loops to check for rst2man[.py] and rst2html[.py]. * In patches 1/5 and 5/5, store the command names, not the full paths (command -v …) [2]. * In patch 3/5, I've added argparse handling to the newly-renamed rst-man2any.py. Tomi

[PATCH v3 3/5] doc/rst-man2any.py: Adjust to handle any output format, not just man pages

2014-07-12 Thread W. Trevor King
For example, with these changes we can build HTML output using: $ rst-man2any.py -c rst2html -i ${SRCDIR} -o ${OUTDIR} -e html The extension adjustment ensures that the output filenames from the above command match what we currently generate with sphinx-html. Adding argparse handling at the

[PATCH v3 5/5] doc: Add rst2html support for building HTML docs

2014-07-12 Thread W. Trevor King
We already fall back to rst2man if Sphinx isn't available for building the man pages. With this commit we'll fall back to rst2html for building the HTML docs too. The only tricky bit here is that HAVE_SPHINX explicitly checks for sphinx.writers.manpage. I'm just assuming sphinx.writers.html

[PATCH v3 2/5] doc/prerst2man.py: Convert execfile to import

2014-07-12 Thread W. Trevor King
excefile is gone in Python 3 [1]. Instead of exec-ing the configuration, it's easier to insert the source directory in Python's path [2], and just import the configuration. With this change, prerst2man.py is compatible with both Python 2 and 3. [1]:

Re: Add support for specifying tags during notmuch new

2014-07-12 Thread Austin Clements
Quoth David Bremner on Jul 12 at 4:08 pm: Austin Clements amdra...@mit.edu writes: What happens when this script dies in the middle (say, your computer loses power or notmuch tag conflicts with something else on the write lock)? One advantage of the standard new tag approach is that

[PATCH v2 1/5] doc: Allow rst2man.py as an alternative to rst2man

2014-07-12 Thread Tomi Ollila
On Sat, May 10 2014, "W. Trevor King" wrote: > Gentoo's dev-python/docutils-0.10 installs Docutils scripts with a > *.py extension, so I have /usr/bin/rst2man.py and no rst2man script. > This patch supports users with both types of systems by checking for > rst2man, falling back on rst2man.py,

[PATCH v2 3/5] doc/prerst2x.py: Adjust to handle any output format, not just man pages

2014-07-12 Thread Tomi Ollila
On Sat, May 10 2014, "W. Trevor King" wrote: > For example, with these changes we can build HTML output using: > > $ prerst2x.py rst2html ${SRCDIR} ${OUTDIR} html > > The extension adjustment ensures that the output filenames from the > above command match what we currently generate with

[PATCH v2 5/5] T360-symbol-hiding: Use nm instead of objdump.

2014-07-12 Thread David Bremner
Charles Celerier writes: > David Bremner writes: > > $ objdump -t lib/*.o | sed -n '/\[\.text\] __\?notmuch/p' | tail > 09a0 g 0f SECT 01 [.text] > _notmuch_thread_get_authors > 0990 g 0f SECT 01 [.text] >

Add support for specifying tags during "notmuch new"

2014-07-12 Thread David Bremner
Austin Clements writes: > What happens when this script dies in the middle (say, your computer > loses power or notmuch tag conflicts with something else on the write > lock)? One advantage of the standard "new" tag approach is that it's > easy to write a stateless post-new tagging script that

[PATCH v2] emacs: Add support for saved search accelerators

2014-07-12 Thread David Bremner
David Edmondson writes: > Extended the saved search definition to allow the inclusion of an > accelerator key for the search. Bind 'j' in the common mode map as a > leader for such accelerator keys. I was trying this out without configuring any accelerators and it seemed a bit unfriendly. After

[PATCH] docs: remote spurious man page generated from doxygen

2014-07-12 Thread David Bremner
There is a doxygen bug about these odd files, https://bugzilla.gnome.org/show_bug.cgi?id=727796 But it isn't clear if / when a fix will be provided, so just delete it to avoid e.g. confusing man-to-wiki.pl --- doc/Makefile.local | 1 + 1 file changed, 1 insertion(+) diff --git

[PATCH v3 4/5] doc: Consolidate Makefile targets around {build|install}-{format}

2014-07-12 Thread W. Trevor King
The rst2man target was removed in 9d9a700 (doc: build man pages at build time; introduce HAVE_SPHINX, HAVE_RST2MAN, 2014-03-13), but a reference in the install docs slipped through. While I was removing that reference, I also: * Converted doc/INSTALL to reStructuredText, so I can link to Sphinx

[PATCH v3 0/5] rst2man.py support and doc-build cleanups

2014-07-12 Thread W. Trevor King
Changes since v2 [1]: * In patches 1/5 and 5/5, use for loops to check for rst2man[.py] and rst2html[.py]. * In patches 1/5 and 5/5, store the command names, not the full paths (command -v ?) [2]. * In patch 3/5, I've added argparse handling to the newly-renamed rst-man2any.py. Tomi

[PATCH v3 1/5] doc: Allow rst2man.py as an alternative to rst2man

2014-07-12 Thread W. Trevor King
Gentoo's dev-python/docutils-0.10 installs Docutils scripts with a *.py extension, so I have /usr/bin/rst2man.py and no rst2man script. This patch supports users with both types of systems by checking for rst2man, falling back on rst2man.py, and giving up only if neither is found. Users can also

[PATCH v3 2/5] doc/prerst2man.py: Convert execfile to import

2014-07-12 Thread W. Trevor King
excefile is gone in Python 3 [1]. Instead of exec-ing the configuration, it's easier to insert the source directory in Python's path [2], and just import the configuration. With this change, prerst2man.py is compatible with both Python 2 and 3. [1]:

[PATCH v3 5/5] doc: Add rst2html support for building HTML docs

2014-07-12 Thread W. Trevor King
We already fall back to rst2man if Sphinx isn't available for building the man pages. With this commit we'll fall back to rst2html for building the HTML docs too. The only tricky bit here is that HAVE_SPHINX explicitly checks for sphinx.writers.manpage. I'm just assuming sphinx.writers.html

[PATCH v3 3/5] doc/rst-man2any.py: Adjust to handle any output format, not just man pages

2014-07-12 Thread W. Trevor King
For example, with these changes we can build HTML output using: $ rst-man2any.py -c rst2html -i ${SRCDIR} -o ${OUTDIR} -e html The extension adjustment ensures that the output filenames from the above command match what we currently generate with sphinx-html. Adding argparse handling at the