fix typos

doc/userman/user-sources.tex

@@ -287,7 +287,7 @@ Apart from these default platforms, it is possible to give as argument
 to \texttt{-machdep} option the path of a YAML file containing the information
 needed by \FramaC. The Plug-in Development Guide~\cite{plugin-dev-guide} describes
 this format in more detail, as well as the use of the \texttt{make\_machdep.py}
-script to automatically generate it. The YAML schema contains a list of builtins
+script to automatically generate it. The YAML schema contains a list of builtin
 macros with their values. However, any such \texttt{MACRO} can be undefined by passing
 \texttt{-UMACRO} in the preprocessor arguments
 (using \texttt{-cpp-extra-args} or its per-file counterpart as in Sect.~\ref{sec:preprocessing},

share/machdeps/machdep_msvc_x86_64.yaml

@@ -49,7 +49,7 @@ wint_t: unsigned short
 wordsize: '64'
 posix_version: ''
 
-# NB: except for l_tmpnam, the following macro are not defined in the old
+# NB: except for l_tmpnam, the following macros are not defined in the old
 # __fc_machdep.h in the MSVC_X86_64 section. The values below have thus been 
 # taken from gnu
 bufsiz: '8192'