ada/gnatdashboard
0
0
Fork 0
mirror of https://github.com/AdaCore/gnatdashboard.git synced 2026-02-12 12:30:42 -08:00
Code Issues Packages Projects Releases Wiki Activity
1,190 Commits 36 Branches 2 Tags
master
Commit Graph

3 Commits

Author SHA1 Message Date
Nicolas Setton
cb2630298c U723-025 Adjustment needed after move of the GNAThub dir 
As a follow up to the previous change, adjust the location
of the GNAThub dir. Fixes the build of the documentation.

Change-Id: I10607c0602169167be9d9f93b599d299219121db
 2021-07-30 09:26:56 +01:00
Charly Delay
f308b04a81 chore(doc): Makefile rework 
Rewrite the Makefile to comply with good practices and conventions (see
https://www.gnu.org/prep/standards/html_node/Makefile-Conventions.html).

Change-Id: I123a7fde2b7abdddecc1aa225f32b8b3c82ac45c
 2016-06-16 14:18:13 -04:00
Charly Delay
d3c8306e04 Repository reorganization 
The documentation is now global and its sources moved to the top-level
directory. Same goes for the know-problems-* and features-* files that
are now shared between all submodules.

This commit needs to be push in synchronization with change I0a342aea8d
in the ANOD specification repository.

Change-Id: If350f109ae6a40ae3e632bfa8491145aaab8a52f
TN: OA28-039
 2015-12-07 17:28:54 +01:00