diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/.cvsignore | 2 | ||||
| -rw-r--r-- | doc/Makefile | 9 |
2 files changed, 10 insertions, 1 deletions
diff --git a/doc/.cvsignore b/doc/.cvsignore index c0f3bd58..7ceb66f0 100644 --- a/doc/.cvsignore +++ b/doc/.cvsignore @@ -1,6 +1,7 @@ *.shml .timestamp .timestamp2 +.timestamp3 dbtohtml-1.shtml dbtohtml-2.shtml dbtohtml-3.shtml @@ -14,6 +15,7 @@ libgtop-3.shtml libgtop-4.shtml libgtop-5.shtml libgtop-INDEX.shtml +libgtop-ref libgtop.ced libgtop.fot libgtop.shtml diff --git a/doc/Makefile b/doc/Makefile index fa30b74a..f020f45a 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -1,4 +1,4 @@ -all: .timestamp .timestamp2 +all: .timestamp .timestamp2 .timestamp3 .timestamp: libgtop.sgml rm -rf libgtop @@ -13,3 +13,10 @@ all: .timestamp .timestamp2 jade -D /usr/lib/sgml/jade_dsl -d gnome-hackers.dsl -t sgml \ -V %no-make-index% gnome-hackers.sgml > /dev/null && \ touch .timestamp2 + +.timestamp3: libgtop-ref.sgml ../guile/reference.sgml + rm -rf libgtop-ref + mkdir libgtop-ref + jade -D /usr/lib/sgml/jade_dsl -d libgtop-ref.dsl -t sgml \ + -V %no-make-index% libgtop-ref.sgml > /dev/null && \ + touch .timestamp3 |