diff options
Diffstat (limited to 'www/docs')
-rw-r--r-- | www/docs/Makefile | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/www/docs/Makefile b/www/docs/Makefile index e78300d0ea..266663c85d 100644 --- a/www/docs/Makefile +++ b/www/docs/Makefile | |||
@@ -37,5 +37,11 @@ custom_wps_format.raw: $(DOCS)/CUSTOM_WPS_FORMAT $(TXT2HTML) | |||
37 | custom_wps_format.html: custom_wps_format.t custom_wps_format.raw $(TXT2HTML) | 37 | custom_wps_format.html: custom_wps_format.t custom_wps_format.raw $(TXT2HTML) |
38 | $(ACTION) $< | 38 | $(ACTION) $< |
39 | 39 | ||
40 | how_to_compile.raw: $(DOCS)/README $(TXT2HTML) | ||
41 | $(TXT2HTML) < $< > $@ | ||
42 | |||
43 | how_to_compile.html: how_to_compile.t how_to_compile.raw $(TXT2HTML) | ||
44 | $(ACTION) $< | ||
45 | |||
40 | %.html : %.t | 46 | %.html : %.t |
41 | $(ACTION) $< | 47 | $(ACTION) $< |