Subversion Repositories wimsdev

Rev

Rev 13448 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 13448 Rev 13449
Line 192... Line 192...
192 
	# remove useless commands
 192 
	# remove useless commands
193 
	rm -f $(DESTDIR)/var/lib/wims/localwims
 193 
	rm -f $(DESTDIR)/var/lib/wims/localwims
194 
	rm -f $(DESTDIR)/var/lib/wims/lib/libwims.a
 194 
	rm -f $(DESTDIR)/var/lib/wims/lib/libwims.a
195 
	# copy misc files
 195 
	# copy misc files
196 
	mkdir -p $(DESTDIR)/var/lib/wims/log
 196 
	mkdir -p $(DESTDIR)/var/lib/wims/log
- 
 
 197 
	cp wims.conf.distrib.debian \
197 
	cp wims.conf $(DESTDIR)/var/lib/wims/log/wims.conf.distrib
 198 
	  $(DESTDIR)/var/lib/wims/log/wims.conf.distrib
198 
	mkdir -p $(DESTDIR)/var/lib/wims/src
 199 
	mkdir -p $(DESTDIR)/var/lib/wims/src
199 
	for f in defaults.conf mathfonts mathfonts-synonyms; do \
 200 
	for f in defaults.conf mathfonts mathfonts-synonyms; do \
200 
	  cp wims/src/$$f $(DESTDIR)/var/lib/wims/src; \
 201 
	  cp wims/src/$$f $(DESTDIR)/var/lib/wims/src; \
201 
	done
 202 
	done
202 
	## exclude wimsd if it has been built, since this webserver may be
 203 
	## exclude wimsd if it has been built, since this webserver may be