[Axiom-developer] Typo in DeveloperNotes.pamphlet

[Vanuxem Grégory]

Hi,

The following patch fixes a typo in DeveloperNotes.pamphlet

===============================================================
--- src/doc/DeveloperNotes.pamphlet.old
+++ src/doc/DeveloperNotes.pamphlet
@@ -1686,7 +1686,7 @@
 Axiom can generate TeX output by typing:
 \begin{verbatim}
 )set output tex on
-)end{verbatim}
+\end{verbatim}
 
 Here we give an example of TeX output that contains a bug:
 \begin{verbatim}
================================================================

Cheers,

Greg