mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-11 05:49:31 -06:00
130417b541
The new logo is in the new directory doc/Logos. The old logo has been moved there too. The documentation has been updated to refer to the new logo. The new logo was provided in SVG format by Krasimir, but PNG files are included as well. There are some new rules in doc/Makefile to convert from SVG to PNG, which you can use if you edit the SVG files.
24 lines
783 B
Makefile
24 lines
783 B
Makefile
resource:
|
|
gfdoc -txt2 ../lib/resource-1.0/abstract/*.gf
|
|
gfdoc -txt2 ../lib/resource-1.0/*/Paradigms*.gf
|
|
txt2tags --toc resource.txt
|
|
# cat resource-preamble resource.tex >final-resource.tex
|
|
sed -i 's/\\docum/%\\docum/g' resource.tex
|
|
sed -i 's/ion\*{/ion{/g' resource.tex
|
|
sed -i 's/\\paragraph{}//g' resource.tex
|
|
sed -i 's/}\\\\/}/g' resource.tex
|
|
cat resource-preamble resource.tex >resource.tmp
|
|
mv resource.tmp resource.tex
|
|
latex resource.tex
|
|
latex resource.tex
|
|
dvipdf resource.dvi
|
|
|
|
# Converting SVG logos to PNG, using convert from ImageMagick
|
|
logos:: Logos/gf00.png Logos/gf0.png
|
|
|
|
Logos/gf00.png: Logos/gf00.svg Makefile
|
|
convert -background none -size 264x216 -depth 8 $< $@
|
|
|
|
Logos/gf0.png: Logos/gf0.svg Makefile
|
|
convert -background none -size 320x240 -depth 8 $< $@
|