add debian package name

This commit is contained in:
tonton th 2020-05-29 13:30:37 +02:00
parent 83af701479
commit 7ff4453fb1
1 changed files with 3 additions and 1 deletions

View File

@ -210,7 +210,9 @@ lesquels sont décrits en page \pageref{outils}.
Vous devez, en dehors des outils classiques (bash, gcc, make\dots), Vous devez, en dehors des outils classiques (bash, gcc, make\dots),
avoir quelques bibliothèques installées\footnote{Les \texttt{-dev} avoir quelques bibliothèques installées\footnote{Les \texttt{-dev}
pour Debian et dérivées}~: pour Debian et dérivées}~:
\textsf{libv4l2, libpnglite, libtiff, libnetpbm, libz}, \textsf{libv4l2, libpnglite, libtiff,
libnetpbm\footnote{package libnetpbm10-dev},
libz\footnote{package zlib1g-dev}},
éventuellement avec le \textsf{-dev} correspondant, éventuellement avec le \textsf{-dev} correspondant,
et probablement d'autres choses. et probablement d'autres choses.