diff options
| -rw-r--r-- | doc/Makefile | 13 |
1 files changed, 12 insertions, 1 deletions
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 |