diff options
| author | Bjoern B. Brandenburg <bbb@cs.unc.edu> | 2009-09-24 14:52:40 -0400 |
|---|---|---|
| committer | Bjoern B. Brandenburg <bbb@cs.unc.edu> | 2009-09-24 14:52:40 -0400 |
| commit | 1f946afc63455f4a11c84cf2c66e1d333e7c0425 (patch) | |
| tree | cb04aa76107fcac1a0d2032a81a32f589b7373c1 | |
| parent | 5469833d63778559636971db5edec38133909d43 (diff) | |
rename *.text -> *.txt
| -rw-r--r-- | doc/Makefile | 2 | ||||
| -rw-r--r-- | doc/tracing.txt (renamed from doc/tracing.text) | 0 |
2 files changed, 1 insertions, 1 deletions
diff --git a/doc/Makefile b/doc/Makefile index 9806c33..6d0df59 100644 --- a/doc/Makefile +++ b/doc/Makefile | |||
| @@ -7,5 +7,5 @@ all: ${DOCS} | |||
| 7 | clean: | 7 | clean: |
| 8 | rm -f ${DOCS} | 8 | rm -f ${DOCS} |
| 9 | 9 | ||
| 10 | %.html: %.text gen_html.sh | 10 | %.html: %.txt gen_html.sh |
| 11 | ./gen_html.sh $< > $@ | 11 | ./gen_html.sh $< > $@ |
diff --git a/doc/tracing.text b/doc/tracing.txt index e91a758..e91a758 100644 --- a/doc/tracing.text +++ b/doc/tracing.txt | |||