]> git.pld-linux.org Git - packages/gnome-games.git/commitdiff
974327d5b11b73b3455a70d1fd92f660 gnome-games-sgml.patch
authorankry <ankry@pld-linux.org>
Sun, 28 Dec 2003 18:41:31 +0000 (18:41 +0000)
committercvs2git <feedback@pld-linux.org>
Sun, 24 Jun 2012 12:13:13 +0000 (12:13 +0000)
Changed files:
    gnome-games-sgml.patch -> 1.1

gnome-games-sgml.patch [new file with mode: 0644]

diff --git a/gnome-games-sgml.patch b/gnome-games-sgml.patch
new file mode 100644 (file)
index 0000000..e849792
--- /dev/null
@@ -0,0 +1,16 @@
+--- gnome-games-1.4.0.4/sgmldocs.make~ Sun Dec 28 18:32:06 2003
++++ gnome-games-1.4.0.4/sgmldocs.make  Sun Dec 28 18:32:06 2003
+@@ -71,7 +71,12 @@
+               jw -c /etc/sgml/catalog $$srcdir/$(docname).sgml -o $$srcdir/$(docname); \
+       else                                            \
+               db2html $$srcdir/$(docname).sgml;       \
+-       fi
++      fi; \
++      if test -f $$srcdir/$(docname)/t1.html ; then   \
++              ln -s t1.html $$srcdir/$(docname)/index.html;   \
++      else if test -f $$srcdir/$(docname)/book1.html ; then   \
++              ln -s book1.html $$srcdir/$(docname)/index.html;        \
++      fi; fi
+ app-dist-hook: index.html
+       -$(mkinstalldirs) $(distdir)/$(docname)/stylesheet-images
This page took 0.037133 seconds and 4 git commands to generate.