Fix bug in code pointers for demo

querycert · Sep 5, 2017 · 3822f42 · 3822f42
1 parent f90db17
commit 3822f42
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/doc/demo/demo.ts b/doc/demo/demo.ts
@@ -2290,7 +2290,7 @@ function getLanguageMarkedLabel(langpack:{id:QcertLanguage, explicit:boolean}):s
 
 //const coqdocBaseURL = 'https://querycert.github.io/doc/';
 //const coqdocBaseURL = '../..//querycert.github.io/doc/';
-const coqdocBaseURL = '../doc/html/';
+const coqdocBaseURL = '../html/';
 function makeLemmaURL(base:string, lemma:string) {
 	let url = coqdocBaseURL + "Qcert." + base + ".html";
 	//let url = coqdocBaseURL + base + ".html";