man/produce_html: use shlib

[oweals/gnunet.git] / doc / handbook / .gitignore

diff --git a/doc/handbook/.gitignore b/doc/handbook/.gitignore
index 48f8642729bf97d607ee069815f0ed0d52770436..80ac74ea05b8812614612d50adab06fb8df5310b 100644 (file)
--- a/doc/handbook/.gitignore
+++ b/doc/handbook/.gitignore
@@ -7,4 +7,5 @@ manual
 *.pg
 *.tp
 *.vr
-gnunet gnunet.html
+gnunet 
+gnunet.html