Lines 10-16
Link Here
|
10 |
# (optional) PROJECT_LINK: HTML to include at bottom of page |
10 |
# (optional) PROJECT_LINK: HTML to include at bottom of page |
11 |
|
11 |
|
12 |
# Destination directory for local copy of files (e.g., on user machine) |
12 |
# Destination directory for local copy of files (e.g., on user machine) |
13 |
DOCDIR=.. |
13 |
DOCDIR=../doc |
14 |
|
14 |
|
15 |
# Destination directory for web-accessible copy of files (e.g., on PPL machines) |
15 |
# Destination directory for web-accessible copy of files (e.g., on PPL machines) |
16 |
WEBDIR=/www/ppl_manuals |
16 |
WEBDIR=/www/ppl_manuals |
Lines 71-82
Link Here
|
71 |
-rm -fr index.tex $(FIG_CLEAN) |
71 |
-rm -fr index.tex $(FIG_CLEAN) |
72 |
|
72 |
|
73 |
# Build local copy of documentation: |
73 |
# Build local copy of documentation: |
74 |
doc: all |
74 |
doc: pdf html |
75 |
if [ ! -d $(DOCDIR) ] ; then mkdir $(DOCDIR) ; fi |
75 |
if [ ! -d $(DOCDIR) ] ; then mkdir $(DOCDIR) ; fi |
76 |
if [ ! -d $(DOCDIR)/ps ] ; then mkdir $(DOCDIR)/ps ; fi |
|
|
77 |
if [ ! -d $(DOCDIR)/pdf ] ; then mkdir $(DOCDIR)/pdf ; fi |
76 |
if [ ! -d $(DOCDIR)/pdf ] ; then mkdir $(DOCDIR)/pdf ; fi |
78 |
if [ ! -d $(DOCDIR)/html ] ; then mkdir $(DOCDIR)/html ; fi |
77 |
if [ ! -d $(DOCDIR)/html ] ; then mkdir $(DOCDIR)/html ; fi |
79 |
/bin/cp $(FILE).ps $(DOCDIR)/ps/$(DEST).ps |
|
|
80 |
/bin/cp $(FILE).pdf $(DOCDIR)/pdf/$(DEST).pdf |
78 |
/bin/cp $(FILE).pdf $(DOCDIR)/pdf/$(DEST).pdf |
81 |
/bin/rm -rf $(DOCDIR)/html/$(DEST) |
79 |
/bin/rm -rf $(DOCDIR)/html/$(DEST) |
82 |
/bin/cp -R $(FILE) $(DOCDIR)/html/$(DEST) |
80 |
/bin/cp -R $(FILE) $(DOCDIR)/html/$(DEST) |