diff options
Diffstat (limited to 'doc/Makefile')
| -rw-r--r-- | doc/Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/Makefile b/doc/Makefile index 8d190f5dd..5251cde8b 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -13,6 +13,10 @@ resource: latex resource.tex dvipdf resource.dvi +gf-help-full.txt:: + { echo ; echo ; echo ; } > $@ + echo help -full -t2t | gf -run >> $@ + ### Converting SVG logos to PNG, using convert from ImageMagick logos:: Logos/gf00.png Logos/gf0.png |