diff options
Diffstat (limited to 'debian/rules')
-rwxr-xr-x | debian/rules | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/debian/rules b/debian/rules index f690acd..ed0da6b 100755 --- a/debian/rules +++ b/debian/rules @@ -1,6 +1,9 @@ #! /usr/bin/make -f # -*-Makefile-*- +SCHEME_LIBRARY_PATH=./ +export SCHEME_LIBRARY_PATH + CC =gcc CFLAGS =-O2 -g -Wall LDFLAGS = @@ -17,12 +20,11 @@ INSTALL_MAN =$(INSTALL) -m 444 -o root -g root build: $(checkdir) make - texi2html -monolithic slib.texi + make html touch build clean: $(checkdir) - -rm slib.html -rm slib.info* make clean -rm -f build @@ -60,7 +62,7 @@ binary-indep: checkroot build gzip -9v debian/tmp/usr/share/doc/slib/README $(INSTALL_DATA) FAQ debian/tmp/usr/share/doc/slib gzip -9v debian/tmp/usr/share/doc/slib/FAQ - $(INSTALL_DATA) slib.html debian/tmp/usr/share/doc/slib + $(INSTALL_DATA) slib_html/*.html debian/tmp/usr/share/doc/slib $(INSTALL_DIR) debian/tmp/usr/share/slib/init $(INSTALL_DATA) *.init debian/tmp/usr/share/slib/init |