4.104.114.84.95
Last change
on this file since 4104db2 was
4104db2,
checked in by Joel Sherrill <joel.sherrill@…>, on 03/30/98 at 15:50:33
|
Taking care of minor build problems
|
-
Property mode set to
100644
|
File size:
870 bytes
|
Line | |
---|
1 | # |
---|
2 | # $Id$ |
---|
3 | # |
---|
4 | |
---|
5 | include Make.config |
---|
6 | |
---|
7 | BASEDIR=$(shell pwd) |
---|
8 | |
---|
9 | all: env info html ps |
---|
10 | # find $(WWW_INSTALL) -type f | xargs -e chmod 444 |
---|
11 | # find $(WWW_INSTALL) -type d | xargs -e chmod 555 |
---|
12 | |
---|
13 | env: tools dirs headers |
---|
14 | |
---|
15 | dirs: |
---|
16 | $(make-dirs) |
---|
17 | |
---|
18 | headers: |
---|
19 | sed -e 's/RTEMS_VERSION/$(RTEMS_VERSION)/' \ |
---|
20 | <index.html >$(WWW_INSTALL)/index.html |
---|
21 | sed -e 's/RTEMS_VERSION/$(RTEMS_VERSION)/' \ |
---|
22 | <rtems_header.html >$(WWW_INSTALL)/rtems_header.html |
---|
23 | sed -e 's/RTEMS_VERSION/$(RTEMS_VERSION)/' \ |
---|
24 | <rtems_footer.html >$(WWW_INSTALL)/rtems_footer.html |
---|
25 | |
---|
26 | info: env |
---|
27 | ./do_docs $(BASEDIR) info |
---|
28 | |
---|
29 | html: env |
---|
30 | cp common/*.gif common/*.jpg $(WWW_INSTALL) |
---|
31 | ./do_docs $(BASEDIR) html |
---|
32 | |
---|
33 | ps: dirs env |
---|
34 | ./do_docs $(BASEDIR) ps |
---|
35 | |
---|
36 | clean: |
---|
37 | ./do_docs $(BASEDIR) clean |
---|
38 | cd tools/bmenu ; gmake clean |
---|
39 | cd tools/pdl2texi ; gmake clean |
---|
40 | |
---|
41 | |
---|
42 | .PHONY: tools |
---|
43 | |
---|
44 | tools: |
---|
45 | cd tools/bmenu ; gmake |
---|
46 | cd tools/pdl2texi ; gmake |
---|
Note: See
TracBrowser
for help on using the repository browser.