]> git.pld-linux.org Git - packages/gnome-games.git/blob - gnome-games-sgml.patch
- kill Icon: field (support for these is obsolete says jbj)
[packages/gnome-games.git] / gnome-games-sgml.patch
1 --- gnome-games-1.4.0.4/sgmldocs.make~  Sun Dec 28 18:32:06 2003
2 +++ gnome-games-1.4.0.4/sgmldocs.make   Sun Dec 28 18:32:06 2003
3 @@ -71,7 +71,12 @@
4                 jw -c /etc/sgml/catalog $$srcdir/$(docname).sgml -o $$srcdir/$(docname); \
5         else                                            \
6                 db2html $$srcdir/$(docname).sgml;       \
7 -        fi
8 +       fi; \
9 +       if test -f $$srcdir/$(docname)/t1.html ; then   \
10 +               ln -s t1.html $$srcdir/$(docname)/index.html;   \
11 +       else if test -f $$srcdir/$(docname)/book1.html ; then   \
12 +               ln -s book1.html $$srcdir/$(docname)/index.html;        \
13 +       fi; fi
14  
15  app-dist-hook: index.html
16         -$(mkinstalldirs) $(distdir)/$(docname)/stylesheet-images
This page took 0.083168 seconds and 3 git commands to generate.