]> git.pld-linux.org Git - packages/dosemu.git/blob - dosemu-makehtml.patch
- obsolete
[packages/dosemu.git] / dosemu-makehtml.patch
1 --- dosemu-1.1.4/src/doc/DANG/Makefile.orig     Sat Feb 15 18:16:25 2003
2 +++ dosemu-1.1.4/src/doc/DANG/Makefile  Sat Feb 15 18:16:56 2003
3 @@ -9,6 +9,8 @@
4  
5  all:    $(TXT) $(HTML)
6  
7 +html:  $(HTML)
8 +
9  $(TXT): %.txt: %.sgml
10         ../tools/doSgmlTools.pl -t -v $<
11  
12 --- dosemu-1.1.4/src/doc/HOWTO/Makefile.orig    Sat Feb 15 18:17:14 2003
13 +++ dosemu-1.1.4/src/doc/HOWTO/Makefile Sat Feb 15 18:17:34 2003
14 @@ -9,6 +9,8 @@
15  
16  all:    $(TXT) $(HTML)
17  
18 +html:  $(HTML)
19 +
20  $(TXT): %.txt: %.sgml
21         ../tools/doSgmlTools.pl -t $<
22  
This page took 0.074625 seconds and 3 git commands to generate.