diff options
| author |  Samuel Mimram <smimram@debian.org> | 2006-04-30 14:17:58 +0000 |
|---|---|---|
| committer | Samuel Mimram <smimram@debian.org> | 2006-04-30 14:17:58 +0000 |
| commit | fe730babfe0c01baa6c6da62460938f8839aa7c6 (patch) | |
| tree | 4ac518992a083315ee0db9a0c211235182012609 /debian/rules | |
| parent | 8d68c744369bd248748f10927f01b054595d102c (diff) | |
Correct the FTBFS because of LaTeX.debian/8.0pl3+8.1alpha-2
Diffstat (limited to 'debian/rules')
| -rwxr-xr-x | debian/rules | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/rules b/debian/rules index f23efc82..550349dd 100755 --- a/debian/rules +++ b/debian/rules @@ -44,7 +44,7 @@ build-stamp: fi $(MAKE) glob.dump cp tools/coqdoc/coqdoc.sty doc/stdlib/ - $(MAKE) -C doc stdlib + $(MAKE) -C doc stdlib/html/index.html touch build-stamp clean: unpatch |