64 |
! grep -q gcl.info $(DESTDIR)${INFO_DIR}dir || \ |
! grep -q gcl.info $(DESTDIR)${INFO_DIR}dir || \ |
65 |
echo "* GCL Ansi Doc: (gcl.info). Ansi Common Lisp Specification." >> $(DESTDIR)${INFO_DIR}dir |
echo "* GCL Ansi Doc: (gcl.info). Ansi Common Lisp Specification." >> $(DESTDIR)${INFO_DIR}dir |
66 |
cp *.info* $(DESTDIR)${INFO_DIR} |
cp *.info* $(DESTDIR)${INFO_DIR} |
67 |
|
mkdir -p $(DESTDIR)$(INFO_DIR)../share/doc/gcl-doc/gcl.html |
68 |
|
mkdir -p $(DESTDIR)$(INFO_DIR)../share/doc/gcl-doc/gcl-si.html |
69 |
|
mkdir -p $(DESTDIR)$(INFO_DIR)../share/doc/gcl-doc/gcl-tk.html |
70 |
|
cp gcl_*html $(DESTDIR)$(INFO_DIR)../share/doc/gcl-doc/gcl.html |
71 |
|
cp gcl-si_*html $(DESTDIR)$(INFO_DIR)../share/doc/gcl-doc/gcl-si.html |
72 |
|
cp gcl-tk_*html $(DESTDIR)$(INFO_DIR)../share/doc/gcl-doc/gcl-tk.html |
73 |
|
cp *dvi $(DESTDIR)$(INFO_DIR)../share/doc/gcl-doc |
74 |
|
|
75 |
FILE=gcl-si.texi |
FILE=gcl-si.texi |
76 |
srcs: |
srcs: |
80 |
tex: |
tex: |
81 |
TEXINPUTS=.:$$TEXINPUTS tex gcl-si.texi |
TEXINPUTS=.:$$TEXINPUTS tex gcl-si.texi |
82 |
TEXINPUTS=.:$$TEXINPUTS tex gcl-tk.texi |
TEXINPUTS=.:$$TEXINPUTS tex gcl-tk.texi |
83 |
|
TEXINPUTS=.:$$TEXINPUTS tex gcl.texi |
84 |
@echo must do twice to get indices correct... |
@echo must do twice to get indices correct... |
85 |
@echo so do '$(MAKE) tex' again |
@echo so do '$(MAKE) tex' again |
86 |
|
|