number sections and add header

doc/header.md

@@ -0,0 +1,11 @@
+JSweet Language Specifications
+==============================
+
+Version: 1.0.0
+
+Author: Renaud Pawlak
+
+JSweet JavaDoc API: http://www.jsweet.org/core-api-javadoc/
+
+Content
+-------

doc/jsweet-language-specifications.md

@@ -5,6 +5,8 @@ Version: 1.0.0
 
 Author: Renaud Pawlak
 
+JSweet JavaDoc API: http://www.jsweet.org/core-api-javadoc/
+
 Content
 -------
 
@@ -520,7 +522,7 @@ String m(String s) { return s; }
 
 ### Ambient declarations
 
-It can be the case that programmers need to use existing libraries from JSweet. In most cases, one should look up in the available candies (<http://www.jsweet.org/candies-releases/>, which are automatically generated from TypeScript’s DefinitelyTyped. When the candy does not exist, or does not entirely cover what is needed, one can use the `@jsweet.lang.Ambient` annotation, which will make available to the programmers a class definition or an interface. The following example, shows the backbone store classes made accessible to the JSweet programmer with a simple ambiant declaration. This class will be erased during the JavaScript generation.
+It can be the case that programmers need to use existing libraries from JSweet. In most cases, one should look up in the available candies (<http://www.jsweet.org/candies-releases/>), which are automatically generated from TypeScript’s DefinitelyTyped. When the candy does not exist, or does not entirely cover what is needed, one can use the `@jsweet.lang.Ambient` annotation, which will make available to the programmers a class definition or an interface. The following example, shows the backbone store classes made accessible to the JSweet programmer with a simple ambiant declaration. This class will be erased during the JavaScript generation.
 
 ``` java
 @Ambient

doc/jsweet-language-specifications.tex

@@ -550,7 +550,7 @@ String m(String s) { return s; }
 
 \section{Ambient declarations}
 
-It can be the case that programmers need to use existing libraries from JSweet. In most cases, one should look up in the available candies (\url{http://www.jsweet.org/candies-releases/}, which are automatically generated from TypeScript's DefinitelyTyped. When the candy does not exist, or does not entirely cover what is needed, one can use the \texttt{@jsweet.lang.Ambient} annotation, which will make available to the programmers a class definition or an interface. The following example, shows the backbone store classes made accessible to the JSweet programmer with a simple ambiant declaration. This class will be erased during the JavaScript generation.
+It can be the case that programmers need to use existing libraries from JSweet. In most cases, one should look up in the available candies (\url{http://www.jsweet.org/candies-releases/}), which are automatically generated from TypeScript's DefinitelyTyped. When the candy does not exist, or does not entirely cover what is needed, one can use the \texttt{@jsweet.lang.Ambient} annotation, which will make available to the programmers a class definition or an interface. The following example, shows the backbone store classes made accessible to the JSweet programmer with a simple ambiant declaration. This class will be erased during the JavaScript generation.
 
 \begin{lstlisting}[language=Java]
 @Ambient

pom.xml

@@ -136,6 +136,7 @@
 						<argument>--base-header-level=2</argument>
 						<argument>-s</argument>
 						<argument>--toc</argument>
+						<argument>--number-sections</argument>
 						<argument>-B</argument>
 						<argument>header.md</argument>
 						<argument>-o</argument>