aboutsummaryrefslogtreecommitdiff
path: root/Makefile.doc
AgeCommit message (Expand)Author
2012-08-23configure: get rid of the -src option and of ${COQSRC}letouzey
2012-02-01Improved synchronisation of stdlib index page with current library state.herbelin
2012-01-03Makefile.doc: attempt to solve race condition for creating doc/refman/html.herbelin
2011-12-27Bug 2669 and more: make full-stdlibpboutill
2011-10-05Force dependency of Reference-Manual.pdf over Reference-Manual.dviherbelin
2011-09-19Makefile.doc: typo, index_url.txt should be index_urls.txtletouzey
2011-09-17Various fixes in the Makefilesletouzey
2011-04-08Add "make full-stdlib" to make all the doc in pdf as ask by bug 2395pboutill
2010-09-06Added doc/refman/coqide.eps and coqide-queries.eps to remove the need for png...emakarov
2010-03-30Small improvements around coqdoc (including fix for bug #2288)herbelin
2009-09-28Fix the stdlib doc compilation + switch all .v file to utf8letouzey
2009-09-15- Tentatively made order-dependency wrt .vo files a full dependencyherbelin
2009-08-25install-doc* are PHONYlmamane
2009-08-14Tried to make F1 documentation tool working in CoqIDE.herbelin
2009-03-20Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...letouzey
2009-03-16Makefile: fix ignored errors, several attempts to clarify thingsletouzey
2009-02-11Modification du style du manuel de référencenotin
2009-02-11A few fixes for bug #2032 (backport r11857)glondu
2009-01-30More portable way to pipe stderrglondu
2009-01-29Solves some warning and hides some not-bad ones in doc. It remains aherbelin
2009-01-27- Fixed various Overfull in documentation.herbelin
2009-01-18Backporting from v8.2 to trunk:herbelin
2009-01-08Minor doc fixes:msozeau
2008-12-29Produce better html code with coqdoc and improve doc:msozeau
2008-12-19Nettoyage des variables Coq et amélioration de coqmktop. Lesnotin
2008-11-14make doc ne compilait plus la doc de stdlib (bug #1996)notin
2008-11-12Correction du bug #1995notin
2008-10-29Oups...notin
2008-10-29Dépendance des cibles de la documentation envers les cibles de Coqnotin
2008-10-17Suppression de la dépendance de install-doc envers doc :notin
2008-10-14report de la révision r11451 (nouveau style html pour le manuel de référence)notin
2008-08-07Suite commit #11311notin
2008-07-28Fix typoglondu
2008-07-28Use COQINSTALLPREFIX for doc tooglondu
2008-07-16Ajout de cibles pour le manuel de référence (refman-nodep, stdlib-nodep, re...notin
2008-06-26Mauvaise dépendance dans Makefile.docnotin
2008-06-25Report de la révision #11175 de la branche v8.2 vers le trunknotin
2008-06-25Installation de la documentationnotin
2008-06-13Numéros de version dans la docnotin
2008-06-12Remplacement des 'cp' et 'mkdir' par 'install'notin
2008-06-102-3 petites modifs sur la docnotin
2008-05-19MAJ créditsherbelin
2008-05-11- Changement du code de Zplus pour accomoder ring qui sinon prend uneherbelin
2008-05-08** Efficacité, bugs, robustesse CoqIDE **herbelin
2008-04-18Pour engendrer version.tex, adoption de printf qui, au contraire deherbelin
2008-04-18pbm avec echofilliatr
2008-03-23Fix examples in Program documentation and add comindexes for the variousmsozeau
2008-02-20Petits oublis dans Makefile.docnotin
2008-02-15Suppression d'un include et de 2 variables inutilesnotin
2008-02-14Plongement de doc/Makefile dans la nouvelle architecutre des Makefilenotin
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 20:38:31 +0000