summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGeorge Lebl <jirka@src.gnome.org>1998-08-11 08:29:14 +0000
committerGeorge Lebl <jirka@src.gnome.org>1998-08-11 08:29:14 +0000
commit973d0054e898b5765df59fc5c91d9e9181d59303 (patch)
tree8ae79d24499fae5c26129fa4694fbf8507c20188
parentc1dc32eea95dd9cfc4be568ea50062b9be65783e (diff)
downloadgnome-desktop-GNOME_0_27.tar.gz
as per Frederic Devernay <devernay@istar.fr> 's suggestion, I put aGNOME_0_27
- sign in front of the db2html in the makefile, which definately helps when you don't have that proggie ... however if this is wrong ... it's his fault ... if it is the right way to solve it I take all credit ... -George
-rw-r--r--desktop-docs/Makefile.am2
1 files changed, 1 insertions, 1 deletions
diff --git a/desktop-docs/Makefile.am b/desktop-docs/Makefile.am
index b7581d4d..a09ca479 100644
--- a/desktop-docs/Makefile.am
+++ b/desktop-docs/Makefile.am
@@ -104,7 +104,7 @@ gnome-intro.html: gnome-intro/gnome-intro.html
# will have in the gnome-intro directory. eventually I'll handle this
# by calling it gnome-intro-prebuilt or something
gnome-intro/gnome-intro.html: gnome-intro.sgml
- db2html gnome-intro.sgml
+ -db2html gnome-intro.sgml
-mkdir gnome-intro/pix
cp pix/*.gif gnome-intro/pix
if test -d gnome-intro.junk/CVS; then \