[PATCH] doc bug [was: info documentation not in sync with pdf]

[Nick Dokos <nicholas.dokos@hp.com>]

Rainer M Krug <r.m.krug@gmail.com> wrote:

> On Thu, Jun 9, 2011 at 5:37 PM, Eric Schulte <schulte.eric@gmail.com> wrote:
> 
> > Hi Rainer,
> >
> > There is a section on the :padline header argument in the "Specific
> > Header Arguments" section of the Org-mode documentation, however you
> > most likely need a more recent version of the documentation loaded.
> >
> > This header and documentation were added in March.
> >
> 
> I am using  Org-mode version 7.5 (release_7.5.360.g374b7) and I found it in
> the info documentation, but it is not in the pdf.
> 

Doc bug:

diff --git a/doc/org.texi b/doc/org.texi
index eb97759..7caf680 100644
--- a/doc/org.texi
+++ b/doc/org.texi
@@ -12410,6 +12410,7 @@ references in the code block body in link comments.
 @end itemize
 
 @node padline, no-expand, comments, Specific header arguments
+@subsubsection @code{:padline}
 Control in insertion of padding lines around code block bodies in tangled
 code files.  The default value is @code{yes} which results in insertion of
 newlines before and after each tangled code block.  The following arguments
 

Nick