diff options
Diffstat (limited to 'doc/Makefile')
| -rw-r--r-- | doc/Makefile | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/doc/Makefile b/doc/Makefile index d498375b3..8d190f5dd 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -21,14 +21,3 @@ Logos/gf00.png: Logos/gf00.svg Makefile Logos/gf0.png: Logos/gf0.svg Makefile convert -background 'rgba(255,255,255,0)' -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 |