7 Commits

Author	SHA1	Message	Date
Pierre-Marie de Rodat	523d0929ca	Import documentation from the obsolete GNATcoll monorepo ... Change-Id: I647360a2a2eeb1cba232be2c2b47434854bf2feb TN: R329-046	2020-02-10 12:42:48 +01:00
Vasiliy Fofanov	ce99ac280e	Initial version of gnatcoll-db module. ... Part of major reorganization of gnatcoll for better modularity and maintainability. Change-Id: Iad961b53634520081eb90c37aff2bfdbf58b2e06 TN: P909-033 no-precommit-check	2017-10-29 15:30:27 +01:00
Nicolas Roche	91b8d7ce94	Ensure latex stops on error. ... Part of MB15-031 git-svn-id: svn+ssh://svn.eu.adacore.com/Dev/trunk/gps@219552 936e1b1b-40f2-da11-902a-00137254ae57	2013-11-18 16:51:30 +00:00
Emmanuel Briot	3639ef2701	Add Makefile to build the docs (was ignored previously because of ... a .gitignore rule) KB21-014 git-svn-id: svn+ssh://svn.eu.adacore.com/Dev/trunk/gps@182086 936e1b1b-40f2-da11-902a-00137254ae57	2011-12-07 14:59:37 +00:00
Emmanuel Briot	080a8ba25a	Should not be in svn, since this is generated by configure ... git-svn-id: svn+ssh://svn.eu/Dev/trunk/gps@108055 936e1b1b-40f2-da11-902a-00137254ae57	2007-06-12 19:44:09 +00:00
Emmanuel Briot	a18dd4796c	Further renaming "corelib" -> "gnatlib" ... Fixes toplevel configure and gnatlib/aclocal.m4 to avoid conflicts in the variable GTK_CFLAGS, which both use for a different purpose. This makes it possible to do a "make" in gnatlib/ now. git-svn-id: svn+ssh://svn.eu/Dev/trunk/gps@107914 936e1b1b-40f2-da11-902a-00137254ae57	2007-06-11 08:59:14 +00:00
Emmanuel Briot	8dcbebab9a	Rename "corelib" into gnatlib (G607-009) ... git-svn-id: svn+ssh://svn.eu/Dev/trunk/gps@107910 936e1b1b-40f2-da11-902a-00137254ae57	2007-06-11 07:57:59 +00:00