dev: Add Pencil installation

README.md

@@ -1913,6 +1913,11 @@ Instalado fichero `.deb` desde las sección de *releases* de la página
 web: [hugo github](https://github.com/gohugoio/hugo) **Asegúrate de
 instalar el Hugo Extended**
 
+## Pencil
+
+Para diseño de páginas web. Descargamos el deb desde su página web y lo
+instalamos.
+
 # Desarrollo hardware
 
 ## Arduino IDE

out/LinuxMintXia.dw

@@ -1649,6 +1649,10 @@ Generador de sitios web estáticos.
 
 Instalado fichero ''%%.deb%%'' desde las sección de //releases// de la página web: [[https://github.com/gohugoio/hugo|hugo github]] **Asegúrate de instalar el Hugo Extended**
 
+===== Pencil =====
+
+Para diseño de páginas web. Descargamos el deb desde su página web y lo instalamos.
+
 ====== Desarrollo hardware ======
 
 ===== Arduino IDE =====

out/LinuxMintXia.mw

@@ -1468,6 +1468,11 @@ Generador de sitios web estáticos.
 
 Instalado fichero <code>.deb</code> desde las sección de ''releases'' de la página web: [https://github.com/gohugoio/hugo hugo github] '''Asegúrate de instalar el Hugo Extended'''
 
+<span id="pencil"></span>
+== Pencil ==
+
+Para diseño de páginas web. Descargamos el deb desde su página web y lo instalamos.
+
 <span id="desarrollo-hardware"></span>
 = Desarrollo hardware =
 

out/LinuxMintXia.tex

@@ -2484,6 +2484,11 @@ Instalado fichero \texttt{.deb} desde las sección de \emph{releases} de
 la página web: \href{https://github.com/gohugoio/hugo}{hugo github}
 \textbf{Asegúrate de instalar el Hugo Extended}
 
+\subsection{Pencil}\label{pencil}
+
+Para diseño de páginas web. Descargamos el deb desde su página web y lo
+instalamos.
+
 \section{Desarrollo hardware}\label{desarrollo-hardware}
 
 \subsection{Arduino IDE}\label{arduino-ide}

src/400_swdev.md

@@ -673,3 +673,7 @@ sudo flatpak install flathub org.octave.Octave
 Generador de sitios web estáticos.
 
 Instalado fichero `.deb` desde las sección de _releases_ de la página web: [hugo github](https://github.com/gohugoio/hugo) __Asegúrate de instalar el Hugo Extended__
+
+## Pencil
+
+Para diseño de páginas web. Descargamos el deb desde su página web y lo instalamos.