mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-05-21 17:12:50 -06:00
Added rules to update automatically generated HTML files.
Only gf-developers.html is updated for now, but more files could be added to the list.
This commit is contained in:
13
doc/Makefile
13
doc/Makefile
@@ -13,7 +13,7 @@ resource:
|
|||||||
latex resource.tex
|
latex resource.tex
|
||||||
dvipdf resource.dvi
|
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:: Logos/gf00.png Logos/gf0.png
|
||||||
|
|
||||||
Logos/gf00.png: Logos/gf00.svg Makefile
|
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
|
Logos/gf0.png: Logos/gf0.svg Makefile
|
||||||
convert -background none -size 320x240 -depth 8 $< $@
|
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
|
||||||
|
|||||||
Reference in New Issue
Block a user