diff options
Diffstat (limited to 'doc/api/Makefile')
| -rw-r--r-- | doc/api/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/api/Makefile b/doc/api/Makefile index 3fd23f925a..dbb2f03ab2 100644 --- a/doc/api/Makefile +++ b/doc/api/Makefile @@ -28,7 +28,7 @@ library.dvi: lib1.stamp $(LIBTEX) $(STYLES) lib1.stamp: $(LIBTEX) $(STYLES) touch library.ind latex library - index library.idx + texindex library.idx date > lib1.stamp .tex.dvi: |