Merge commit '20080103' into HEAD

[ion3-doc.git] / ionnotes.out

diff --git a/ionnotes.out b/ionnotes.out
index f29e5e35b21b517182b0e247fb5c080bcb624f11..b6c726e490336731b3191938de7a7a2efdc208c9 100644 (file)
--- a/ionnotes.out
+++ b/ionnotes.out
@@ -18,5 +18,5 @@
 \BOOKMARK [2][-]{subsection.5.2}{ Braces}{section.5}
 \BOOKMARK [2][-]{subsection.5.3}{ Names}{section.5}
 \BOOKMARK [2][-]{subsection.5.4}{ Miscellaneous}{section.5}
-\BOOKMARK [1][-]{section.A}{ The GNU General Public License}{}
-\BOOKMARK [1][-]{section*.4}{Index}{}
+\BOOKMARK [1][-]{section.A}{ GNU Free Documentation License}{}
+\BOOKMARK [1][-]{section*.14}{Index}{}