diff options
| author | hallgren <hallgren@chalmers.se> | 2010-12-22 16:57:53 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2010-12-22 16:57:53 +0000 |
| commit | 40b84d25e320347e0402d9a86afe3bf384b5d490 (patch) | |
| tree | 15c3df3acf3db8091615188429dbae894d59c773 /doc/Makefile | |
| parent | 59b36e0e4aa4875d9d5acfe7abf114a680b0aac9 (diff) | |
Documentation fixes
+ Rename some txt2tags file from .txt to .t2t and remove abandoned .txt files.
+ Add program update_html that finds all .t2t documents and updates the
corresponding .html file. It can be invoked with 'make html'.
+ Add style to some .html documents
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 |