]> git.pld-linux.org Git - packages/dosemu.git/blame - dosemu-makehtml.patch
- obsolete
[packages/dosemu.git] / dosemu-makehtml.patch
CommitLineData
dfb61dfe 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 @@
6bcdc463 4
dfb61dfe 5 all: $(TXT) $(HTML)
6bcdc463 6
dfb61dfe 7+html: $(HTML)
8+
9 $(TXT): %.txt: %.sgml
6bcdc463 10 ../tools/doSgmlTools.pl -t -v $<
11
dfb61dfe 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 @@
6bcdc463 15
dfb61dfe 16 all: $(TXT) $(HTML)
6bcdc463 17
dfb61dfe 18+html: $(HTML)
19+
20 $(TXT): %.txt: %.sgml
6bcdc463 21 ../tools/doSgmlTools.pl -t $<
22
This page took 0.063251 seconds and 4 git commands to generate.