diff options
Diffstat (limited to 'devel/Makefile')
| -rw-r--r-- | devel/Makefile | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/devel/Makefile b/devel/Makefile new file mode 100644 index 0000000..789b350 --- /dev/null +++ b/devel/Makefile @@ -0,0 +1,17 @@ +.POSIX: + +all: requirements/html/index.html script/html/index.html vision/html/index.html + +requirements/html/index.html: requirements/*.xml master.xsl pretty.css + @make -C requirements + +script/html/index.html: script/*.xml master.xsl pretty.css + @make -C script + +vision/html/index.html: vision/*.xml master.xsl pretty.css + @make -C vision + +upload-all: + @make -C requirements upload + @make -C script upload + @make -C vision upload |