Hartmannsdorf ist ein Stadt­teil im Süd­westen von Leipzig. Er umfasst das Gebiet der ehemaligen Gemeinde Hartmanns­dorf auf der Gemarkung Hartmanns­dorf.

Das ehemalige Platzdorf lag links der Weißen Elster zwischen Bösdorf und Knaut­hain. Es wurde 1465 erstmals urkundlich erwähnt.

Die Grundherrschaft lag beim Rittergut Knaut­hain, bis Hartmanns­dorf am 1. Mai 1839 eine selb­ständige Land­gemeinde wurde. Im Jahr 1990 hatte die Gemeinde 538 Einwohner.

Am 1. Januar 1993 wurde Hartmanns­dorf in die Stadt Leipzig eingemeindet. Es kam zunächst zum Ortsteil 54 Knaut­hain-Hartmanns­dorf und 2001 zu 55 Hartmanns­dorf-Knaut­naundorf.