diff --git a/doc/Makefile b/doc/Makefile
index a0955f91e..6ca9d2199 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -13,7 +13,7 @@ resource:
 	latex resource.tex
 	dvipdf resource.dvi
 
-# Converting SVG logos to PNG, using convert from ImageMagick
+### Converting SVG logos to PNG, using convert from ImageMagick
 logos:: Logos/gf00.png Logos/gf0.png
 
 Logos/gf00.png: Logos/gf00.svg Makefile
@@ -21,3 +21,14 @@ Logos/gf00.png: Logos/gf00.svg Makefile
 
 Logos/gf0.png: Logos/gf0.svg Makefile
 	convert -background none -size 320x240 -depth 8 $< $@
+
+### Updating automatically generated HTML files
+
+GENERATED_HTML=gf-developers.html
+
+%.html: %.txt
+	txt2tags $<
+
+generated_html:: $(GENERATED_HTML)
+
+gf-developers.html: gf-developers.txt