diff options
Diffstat (limited to 'Ada95/package/debian/rules')
-rwxr-xr-x | Ada95/package/debian/rules | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Ada95/package/debian/rules b/Ada95/package/debian/rules index 708d3eb..47bbdc0 100755 --- a/Ada95/package/debian/rules +++ b/Ada95/package/debian/rules @@ -71,7 +71,7 @@ install-stamp: build-stamp dh_installdirs $(MAKE) install DESTDIR=$(TARGET_DIR) - + # FIXME: it would be nice to make these into separate packages ( cd samples && $(MAKE) install.examples DESTDIR=$(TARGET_DIR) BINDIR=$(SAMPLE_DIR) ) ( cd doc && $(MAKE) install.html DESTDIR=$(TARGET_DIR) ) |