mirror of
https://gitlab.rtems.org/rtems/rtos/rtems.git
synced 2026-11-15 11:10:11 +08:00
Added copy of HELP.html.
This commit is contained in:
1 parent
6288da8e67
commit
7f70ad7daa
1 file changed
+1
-1
+1
-1
@@ -27,7 +27,7 @@ info: env
|
||||
./do_docs $(BASEDIR) info
|
||||
|
||||
html: env
|
||||
cp common/*.gif common/*.jpg $(WWW_INSTALL)
|
||||
cp HELP.html common/*.gif common/*.jpg $(WWW_INSTALL)
|
||||
./do_docs $(BASEDIR) html
|
||||
|
||||
ps: dirs env
|
||||
|
||||
Reference in new issue
Block a user