diff options
| -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) $< |