« Previous | Next » 

Revision e8deef56

IDe8deef5617dff6eaf9f816ae4b062477934b78d0

Added by Michael Hanselmann over 11 years ago

Makefile: Merge build-time reST copying

No need to copy this snippet around, “make” can work harder for us.

Signed-off-by: Michael Hanselmann <>
Reviewed-by: Iustin Pop <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences