diff options
author | VMiklos <vmiklos@frugalware.org> | 2007-08-20 18:49:35 +0200 |
---|---|---|
committer | VMiklos <vmiklos@frugalware.org> | 2007-08-20 18:49:35 +0200 |
commit | d1c9e3542d4e1b90b89d4850a4c7692d1b09ec9c (patch) | |
tree | 5e93225036793253f363ea555810d3b4cbba3f7a | |
parent | 0c60f96f5a49d9c8b22359729371d08d1c8d8bd4 (diff) |
build the doc only if it's updated
-rw-r--r-- | skype/Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/skype/Makefile b/skype/Makefile index cd922db3..d07993ff 100644 --- a/skype/Makefile +++ b/skype/Makefile @@ -7,7 +7,9 @@ skype.so: skype.c clean: rm -f skype.so -doc: +doc: HEADER.html + +HEADER.html: README ln -s README HEADER.txt asciidoc -a toc -a numbered HEADER.txt rm HEADER.txt |