diff options
| author | Albrecht Schlosser <albrechts.fltk@online.de> | 2009-03-21 10:29:42 +0000 |
|---|---|---|
| committer | Albrecht Schlosser <albrechts.fltk@online.de> | 2009-03-21 10:29:42 +0000 |
| commit | 825f33c05aee3b683ade5713417e7f41007212c4 (patch) | |
| tree | 27a74b0635485f962d0595c470fdd6efe9f12684 /documentation/src | |
| parent | 6b410fd4c5e30402bc85682531054ad71d195424 (diff) | |
Moved the stripping of date comments (strip_tags) to its own target
"html-dist", just like it has been done for pdf-dist.
Stripping the date comments roughly doubled the time of html generation
for daily use, although it is only needed before a web update.
*** Please use "make html-dist" before updating the web docs. ***
Just for reference: Measurement values on my Windows system with cygwin:
- make html 1:01 minutes
- strip_tags 1:05 minutes
- strip_tags 0:49 minutes after removal of cat
Todo:
- Why do we need the external script strip_tags, are there reasons not to
integrate it in the Makefile?
- If it would be in the Makefile, should we use ${RM} instead of literally
using "rm" ?
git-svn-id: file:///fltk/svn/fltk/branches/branch-1.3@6702 ea41ed52-d2ee-0310-a9c1-e6b18d33e121
Diffstat (limited to 'documentation/src')
0 files changed, 0 insertions, 0 deletions