recoll / Code / Diff of /src/doc/user/bldloop

Diff of /src/doc/user/bldloop [dbbfe4] .. [14cf11]


#!/bin/sh

while true;do 
  make FORMATS="html html-split"
  cp *.html /usr/local/www/lesbonscomptes/recoll/usermanual/
  sleep 1
done

	a/src/doc/user/bldloop		b/src/doc/user/bldloop
1	#!/bin/sh	1	#!/bin/sh
2		2
3	while true;do	3	while true;do
4	make FORMATS=html	4	make FORMATS="html html-split"
5	cp *.html /usr/local/www/lesbonscomptes/recoll/usermanual/	5	cp *.html /usr/local/www/lesbonscomptes/recoll/usermanual/
6	sleep 1	6	sleep 1
7	done	7	done