diff options
author | George Lebl <jirka@src.gnome.org> | 1998-08-11 08:29:14 +0000 |
---|---|---|
committer | George Lebl <jirka@src.gnome.org> | 1998-08-11 08:29:14 +0000 |
commit | 973d0054e898b5765df59fc5c91d9e9181d59303 (patch) | |
tree | 8ae79d24499fae5c26129fa4694fbf8507c20188 | |
parent | c1dc32eea95dd9cfc4be568ea50062b9be65783e (diff) | |
download | gnome-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.am | 2 |
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 \ |